Class BooleanFormula

• Defined in File boolean_formula.hpp

Class Documentation

class BooleanFormula

Public Functions

inline virtual double evaluate(std::vector<UINT> binary_string)

inline virtual UINT get_variable_count() const