OKlibrary  0.2.1.6
InputCls Namespace Reference

Classes

struct  Error_InputCls
struct  ReadError
struct  SyntaxError
struct  MissingCnfError
struct  ParameterError
struct  AfterParameterError
struct  EmptyClauseError
struct  IsolatedNegationError
class  Construct_Cls_dynamic

Functions

template<class Formula >
void DIMACS_Input (std::istream &in, Formula &F)

Function Documentation

template<class Formula >
void InputCls::DIMACS_Input ( std::istream &  in,
Formula &  F 
)

Definition at line 52 of file InputCls.hpp.

References BoolVarLit::neg, BoolVarLit::pos, StringHandling::toString(), and Literals::Var().

Referenced by test_InputCls().