Literals Namespace Reference

Classes
class	VariableValuePairs
class	InfoPolicyEmpty
struct	Occurrences
class	InfoPolicyVector
struct	InfoPolicyVectorOccurrences
class	LiteralsAsIntegers
class	Lit
Typedefs
typedef LiteralsAsIntegers < int, Variables::InfoPolicyIndexVectorOccurrences, InfoPolicyVectorOccurrences, std::string >	LitIntOccString
Functions
template<class Lit >
Lit	operator* (const typename Lit::Spec &phi, Lit x)
template<class Lit >
Lit::Var	Var (Lit x)
template<class Lit >
Lit::Val	Val (Lit x)

---

Typedef Documentation

typedef LiteralsAsIntegers<int, Variables::InfoPolicyIndexVectorOccurrences, InfoPolicyVectorOccurrences, std::string> Literals::LitIntOccString

Definition at line 251 of file Literals.hpp.

---

Function Documentation

template<class Lit >

Lit Literals::operator*	(	const typename Lit::Spec &	phi,
		Lit	x
	)

Definition at line 99 of file Literals.hpp.

template<class Lit >

Lit::Val Literals::Val

(

Lit

x

)

Definition at line 247 of file Literals.hpp.

References Literals::Lit::val().

Referenced by test_apply(), test_literals_01(), and test_PartialAssignments().

template<class Lit >

Lit::Var Literals::Var

(

Lit

x

)

Definition at line 243 of file Literals.hpp.

References Literals::Lit::var().

Referenced by AusgabeBelegung(), belege(), belege_VK(), belege_VKRed(), belegeRed(), OKlib::Concepts::VariablesAsIndex< Var >::constraints(), ConceptDefinitions::Variable_concept< Var >::constraints(), InputCls::DIMACS_Input(), InitVarLitKlm(), La_Huelle(), Literal::operator!(), Variables::Iterator_VariablesAsIntegers< Int >::operator*(), Literal::operator<(), Literal::operator<<(), rebelege(), rebelege_Verz(), test_apply(), test_literals_01(), test_PartialAssignments(), Var(), and Verzweigungsliteralausgabe().