Variable Class Reference

This class stores all the information about a variable appearing a predicate in a class. More...

#include <variable.h>

List of all members.

Public Member Functions
	Variable (Clause *const &clause, int varId, Predicate *const &pred, int &termno, int &eqClassId, const Array< int > *const &constants)
Array< Variable * > *	getTiedVariables ()
Clause *	getClause ()
int	getPredId ()
int	getVarId ()
int	getTermno ()
int	getEqClassId ()
bool	isRepresentative ()
int	getNumTiedVariables ()
Variable *	getTiedVariable (int pos)
void	setTiedVars (Array< Variable * > *const &newTiedVars)
void	setEqClassId (int id)
void	setRepresentative (bool b)
bool	hasSameEqClass (Variable *const &var)
bool	same (Variable *const &var)
void	merge (Variable *const &var)
void	print (ostream &out, const Domain *const &domain)
void	printAll (ostream &out, const Domain *const &domain)
bool	isImplicit (int constantId)
int	getNumImplicitConstants ()
int	getImplicitIndex (int constantId)
void	removeImplicit (int constantId)
int	getImplicitConstant (int index)
bool	isImplicitPlaceHolder (int constantId)
void	printImplicitConstants (ostream &out, Domain *const &domain)

---

Detailed Description

This class stores all the information about a variable appearing a predicate in a class.

Also, stores the variable equivalence class id (defined by the tied(v1,v2) relation to which this variable belongs.

Definition at line 103 of file variable.h.

---

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

• src/infer/variable.h

---