Logo Search packages:      
Sourcecode: packup version File versions  Download package

Public Member Functions

SolverWrapper< ClausePtr > Class Template Reference

Inheritance diagram for SolverWrapper< ClausePtr >:
Inheritance graph

List of all members.

Public Member Functions

virtual void dump (ostream &out)=0
virtual UINT get_clause_count ()=0
virtual XLINT get_min_unsat_cost ()=0
virtual IntVector & get_model ()=0
virtual XLINT get_soft_clauses_weight ()=0
virtual XLINT get_top ()=0
virtual bool has_solution ()=0
virtual void increase_weight (ClausePtr clause, XLINT weight)=0
virtual void init ()=0
virtual void output_binary_clause (LINT l1, LINT l2)=0
virtual void output_binary_weighted_clause (LINT l1, LINT l2, XLINT weight)=0
virtual void output_clause (LiteralVector &literals)=0
virtual void output_unary_clause (LINT l)=0
virtual void output_unary_weighted_clause (LINT l, XLINT weight)=0
virtual void output_weighted_clause (LiteralVector &literals, XLINT weight)=0
virtual ClausePtr record_clause (LiteralVector &literals)=0
virtual bool register_weight (XLINT weight)=0
virtual void set_top (XLINT top)=0
virtual bool solve ()=0

Detailed Description

template<class ClausePtr>
class SolverWrapper< ClausePtr >

Definition at line 31 of file SolverWrapper.hh.

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index