SolverNle.h File Reference

Contains the typedefs for the solver to use. More...

#include <libpf/core/SolverNleRecipes.h>

Typedefs
typedef SolverNleRecipesAutomatic	SolverNle
typedef SolverNleRecipesNumeric	SolverNleNumeric

Detailed Description

Contains the typedefs for the solver to use.

This file is part of LIBPF All rights reserved; do not distribute without permission.

Author

(C) Copyright 2012-2023 Paolo Greppi simevo s.r.l.

Typedef Documentation

SolverNle

typedef SolverNleRecipesAutomatic SolverNle

SolverNleNumeric

typedef SolverNleRecipesNumeric SolverNleNumeric