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

Public Member Functions | Private Attributes

Printer Class Reference

List of all members.

Public Member Functions

void print (const LiteralVector &literals, ostream &o, bool nice=true) const
void print (BasicClause *cl, ostream &o, bool nice=true) const
string print_literal (LINT literal) const
void print_solution (const LiteralVector &vs, ostream &o, bool nice=true) const
 Printer (CONSTANT VariableToName &variable_names)

Private Attributes

CONSTANT VariableToName & variable_names

Detailed Description

Definition at line 30 of file Printer.hh.

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

Generated by  Doxygen 1.6.0   Back to index