FormulaEvaluator Member List

This is the complete list of members for FormulaEvaluator, including all inherited members.

formula() const (defined in FormulaEvaluator)	FormulaEvaluator
FormulaEvaluator()=delete (defined in FormulaEvaluator)	FormulaEvaluator
FormulaEvaluator(const FormulaEvaluator &)=default	FormulaEvaluator
FormulaEvaluator(FormulaEvaluator &&)=default	FormulaEvaluator
is_neq() const	FormulaEvaluator
is_simple_relational() const	FormulaEvaluator
make_forall_formula_evaluator(const Formula &f, double epsilon, double delta, int number_of_jobs)	FormulaEvaluator	friend
make_relational_formula_evaluator(const Formula &f)	FormulaEvaluator	friend
operator()(const Box &box) const	FormulaEvaluator
operator<< (defined in FormulaEvaluator)	FormulaEvaluator	friend
operator=(const FormulaEvaluator &)=default	FormulaEvaluator
operator=(FormulaEvaluator &&)=default	FormulaEvaluator
variables() const	FormulaEvaluator
~FormulaEvaluator()=default	FormulaEvaluator