xc
Public Types | Public Member Functions | List of all members
ConjVariables Class Reference
Inheritance diagram for ConjVariables:
Inheritance graph
[legend]
Collaboration diagram for ConjVariables:
Collaboration graph
[legend]

Public Types

typedef std::set< const Variable * > pset_CV
 

Public Member Functions

bool In (const Variable *var) const
 Devuelve verdadero si la variable pertenece al conjunto.
 
bool In (const Variable &var) const
 Devuelve verdadero si la variable pertenece al conjunto.
 
std::vector< std::string > getNames (void) const
 Return the names of the variables.
 

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