TermFactoryCallbacks Struct Reference

#include <SatSolver.h>

Data Fields
Term(*	make_and )(Term t1, Term t2, TermFactoryCallbacksUserData_ptr user_data)
Term(*	make_false )(TermFactoryCallbacksUserData_ptr user_data)
Term(*	make_not )(Term t, TermFactoryCallbacksUserData_ptr user_data)
Term(*	make_or )(Term t1, Term t2, TermFactoryCallbacksUserData_ptr user_data)
Term(*	make_true )(TermFactoryCallbacksUserData_ptr user_data)
Term(*	make_var )(int var, TermFactoryCallbacksUserData_ptr user_data)

---

Field Documentation

Term(* TermFactoryCallbacks::make_and)(Term t1, Term t2, TermFactoryCallbacksUserData_ptr user_data)

Term(* TermFactoryCallbacks::make_false)(TermFactoryCallbacksUserData_ptr user_data)

Term(* TermFactoryCallbacks::make_not)(Term t, TermFactoryCallbacksUserData_ptr user_data)

Term(* TermFactoryCallbacks::make_or)(Term t1, Term t2, TermFactoryCallbacksUserData_ptr user_data)

Term(* TermFactoryCallbacks::make_true)(TermFactoryCallbacksUserData_ptr user_data)

Term(* TermFactoryCallbacks::make_var)(int var, TermFactoryCallbacksUserData_ptr user_data)

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/sat/SatSolver.h