cnf_solvert Member List

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

_no_variables	cnft	protected
clause_counter	cnf_solvert	protected
cnf_handled_well() const	propt	inlinevirtual
cnf_solvert()	cnf_solvert	inline
cnft()	cnft	inline
copy_assignment_from(const propt &prop)	propt	virtual
debug()	messaget	inline
eliminate_duplicates(const bvt &)	cnft	static
endl(mstreamt &m)	messaget	inlinestatic
eom(mstreamt &m)	messaget	inlinestatic
error()	messaget	inline
gate_and(literalt a, literalt b, literalt o)	cnft
gate_equal(literalt a, literalt b, literalt o)	cnft
gate_implies(literalt a, literalt b, literalt o)	cnft
gate_nand(literalt a, literalt b, literalt o)	cnft
gate_nor(literalt a, literalt b, literalt o)	cnft
gate_or(literalt a, literalt b, literalt o)	cnft
gate_xor(literalt a, literalt b, literalt o)	cnft
get_message_handler()	messaget	inline
get_mstream(unsigned message_level)	messaget	inline
has_is_in_conflict() const	propt	inlinevirtual
has_set_assumptions() const	propt	inlinevirtual
has_set_to() const	propt	inlinevirtual
is_all(const bvt &bv, literalt l)	cnft	inlineprotectedstatic
is_in_conflict(literalt l) const	propt	virtual
l_get(literalt a) const =0	propt	pure virtual
l_set_to(literalt a, bool value)	propt	inlinevirtual
l_set_to_false(literalt a)	propt	inline
l_set_to_true(literalt a)	propt	inline
land(literalt a, literalt b) override	cnft	virtual
land(const bvt &bv) override	cnft	virtual
lcnf(literalt l0, literalt l1)	propt	inline
lcnf(literalt l0, literalt l1, literalt l2)	propt	inline
lcnf(literalt l0, literalt l1, literalt l2, literalt l3)	propt	inline
lcnf(const bvt &bv)=0	propt	pure virtual
lcnf_bv	propt	protected
lequal(literalt a, literalt b) override	cnft	virtual
limplies(literalt a, literalt b) override	cnft	virtual
lnand(literalt a, literalt b) override	cnft	virtual
lnor(literalt a, literalt b) override	cnft	virtual
lor(literalt a, literalt b) override	cnft	virtual
lor(const bvt &bv) override	cnft	virtual
lselect(literalt a, literalt b, literalt c) override	cnft	virtual
lxor(const bvt &bv) override	cnft	virtual
lxor(literalt a, literalt b) override	cnft	virtual
M_DEBUG enum value	messaget
M_ERROR enum value	messaget
M_PROGRESS enum value	messaget
M_RESULT enum value	messaget
M_STATISTICS enum value	messaget
M_STATUS enum value	messaget
M_WARNING enum value	messaget
message_handler	messaget	protected
message_levelt enum name	messaget
messaget()	messaget	inline
messaget(const messaget &other)	messaget	inline
messaget(message_handlert &_message_handler)	messaget	inlineexplicit
mstream	messaget	protected
new_variable() override	cnft	virtual
new_variables(std::size_t width)	propt
no_clauses() const override	cnf_solvert	inlinevirtual
no_variables() const override	cnft	inlinevirtual
process_clause(const bvt &bv, bvt &dest)	cnft	protected
progress()	messaget	inline
prop_solve()=0	propt	pure virtual
propt()	propt	inline
result()	messaget	inline
resultt enum name	propt
set_assignment(literalt a, bool value)	propt	virtual
set_assumptions(const bvt &_assumptions)	propt	inlinevirtual
set_equal(literalt a, literalt b)	propt	virtual
set_frozen(literalt a)	propt	inlinevirtual
set_message_handler(message_handlert &_message_handler)	messaget	inlinevirtual
set_no_variables(size_t no)	cnft	inlinevirtual
set_variable_name(literalt a, const std::string &name)	propt	inlinevirtual
solver_text()=0	propt	pure virtual
statistics()	messaget	inline
status	cnf_solvert	protected
cnft::status()	messaget	inline
statust enum name	cnf_solvert	protected
warning()	messaget	inline
~cnft()	cnft	inlinevirtual
~messaget()	messaget	virtual
~prop_assignmentt()	prop_assignmentt	virtual
~propt()	propt	inlinevirtual