OKlibrary  0.2.1.6
Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate > Class Template Reference

#include <Literals.hpp>

Inheritance diagram for Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >:
InfoPolicyTemplate

List of all members.

Public Types

typedef
InfoPolicy::DeliveredConcept 
Concept
typedef PartialAssignments Spec
typedef SingletonVarSet VarSet

Public Member Functions

 VariableValuePairs ()
 VariableValuePairs (Var v, Dom val)
bool invariant_true () const
bool invariant_false () const
bool invariant () const
bool not_invariant () const
Auxiliary::Evaluation_status eval_status () const
VariableValuePairsapply (const Spec &phi)
VariableValuePairsapply_non_invariant (const Spec &phi)
VarSet var () const
Dom val () const

Friends

bool operator== (VariableValuePairs lhs, VariableValuePairs rhs)
bool operator!= (VariableValuePairs lhs, VariableValuePairs rhs)
bool operator< (VariableValuePairs lhs, VariableValuePairs rhs)
bool operator> (VariableValuePairs lhs, VariableValuePairs rhs)
bool operator<= (VariableValuePairs lhs, VariableValuePairs rhs)
bool operator>= (VariableValuePairs lhs, VariableValuePairs rhs)

Detailed Description

template<class PartialAssignments, class SingletonVarSet, template< class Var, class Dom > class InfoPolicyTemplate>
class Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >

Definition at line 26 of file Literals.hpp.


Member Typedef Documentation

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
typedef InfoPolicy::DeliveredConcept Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::Concept

Definition at line 42 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
typedef PartialAssignments Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::Spec

Definition at line 43 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
typedef SingletonVarSet Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::VarSet

Definition at line 44 of file Literals.hpp.


Constructor & Destructor Documentation

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::VariableValuePairs ( ) [inline]

Definition at line 46 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::VariableValuePairs ( Var  v,
Dom  val 
) [inline]

Definition at line 47 of file Literals.hpp.


Member Function Documentation

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
VariableValuePairs& Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::apply ( const Spec phi) [inline]
template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
Auxiliary::Evaluation_status Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::eval_status ( ) const [inline]

Definition at line 60 of file Literals.hpp.

References end, Auxiliary::inv_false, Auxiliary::inv_true, and Auxiliary::not_inv.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::invariant ( ) const [inline]
template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::invariant_false ( ) const [inline]

Definition at line 57 of file Literals.hpp.

References end.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::invariant_true ( ) const [inline]

Definition at line 56 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::not_invariant ( ) const [inline]
template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
Dom Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::val ( ) const [inline]
template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
VarSet Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::var ( ) const [inline]

Friends And Related Function Documentation

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator!= ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 50 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator< ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 51 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator<= ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 53 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator== ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 49 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator> ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 52 of file Literals.hpp.

template<class PartialAssignments , class SingletonVarSet , template< class Var, class Dom > class InfoPolicyTemplate>
bool operator>= ( VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate lhs,
VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate rhs 
) [friend]

Definition at line 54 of file Literals.hpp.


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