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().