Class BooleanFormula

Class Documentation

class BooleanFormula

Public Functions

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