smtrat::mcsat::smtaf Namespace Reference

Data Structures
struct	AssignmentFinder
struct	DefaultSettings
struct	SMTModule
class	AssignmentFinder_SMT

Typedefs
using	VariablePos = std::vector< carl::Variable >::const_iterator
using	VariableRange = std::pair< VariablePos, VariablePos >

Functions
bool	includes (const VariableRange &superset, const carl::Variables &subset)

Typedef Documentation

VariablePos

using smtrat::mcsat::smtaf::VariablePos = typedef std::vector<carl::Variable>::const_iterator

Definition at line 13 of file AssignmentFinder_SMT.h.

VariableRange

using smtrat::mcsat::smtaf::VariableRange = typedef std::pair<VariablePos,VariablePos>

Definition at line 14 of file AssignmentFinder_SMT.h.

Function Documentation

includes()

bool smtrat::mcsat::smtaf::includes ( const VariableRange &  superset, const carl::Variables &  subset  )

inline

Definition at line 20 of file AssignmentFinder_SMT.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: