![]() |
#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 |
| void | print (OSTREAM &) const |
| MapPair (const Variable &v, const CanonicalForm &s) | |
| MapPair () | |
| MapPair (const MapPair &p) | |
| ~MapPair () | |
| MapPair & | operator= (const MapPair &p) |
| Variable | var () const |
| CanonicalForm | subst () const |
| void | print (OSTREAM &) const |
| MapPair (const Variable &v, const CanonicalForm &s) | |
| MapPair () | |
| MapPair (const MapPair &p) | |
| ~MapPair () | |
| MapPair & | operator= (const MapPair &p) |
| Variable | var () const |
| CanonicalForm | subst () const |
| void | print (OSTREAM &) const |
Private Attributes | |
| Variable | V |
| CanonicalForm | S |
Friends | |
| OSTREAM & | operator<< (OSTREAM &s, const MapPair &p) |
| OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More... | |
| OSTREAM & | operator<< (OSTREAM &s, const MapPair &p) |
| OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More... | |
| OSTREAM & | operator<< (OSTREAM &s, const MapPair &p) |
| OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More... | |
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 |
|
inline |
|
inline |
MapPair & MapPair::operator = ( const MapPair & p )
MapPair::operator = - assignment operator.
Definition at line 28 of file cf_map.cc.
| void MapPair::print | ( | OSTREAM & | ) | const |
| void MapPair::print | ( | OSTREAM & | ) | const |
|
inline |
|
inline |
|
inline |
|
private |