OKlibrary  0.2.1.6
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


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