My Project
|
#include <cf_map.h>
Public Member Functions | |
MapPair (const Variable &v, const CanonicalForm &s) | |
MapPair () | |
MapPair (const MapPair &p) | |
~MapPair () | |
MapPair & | operator= (const MapPair &p) |
MapPair & MapPair::operator = ( const MapPair & p ) More... | |
Variable | var () const |
CanonicalForm | subst () const |
Private Attributes | |
Variable | V |
CanonicalForm | S |
class MapPair
class MapPair - stores one mapping pair (Variable -> CanonicalForm).
This class is only used to store such pairs. It has no methods to transform a CanonicalForm as the class CFMap has.
V, S: the pair (V -> S) inline method
Variable var () const CanonicalForm subst () const
|
inline |
MapPair & MapPair::operator = ( const MapPair & p )
MapPair::operator = - assignment operator.
|
inline |
|
private |