MapPair Class Reference

class MapPair More...

#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

Detailed Description

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

var(), subst() - selectors, return V and P, resp.

Definition at line 49 of file cf_map.h.

Constructor & Destructor Documentation

MapPair() [1/3]

MapPair::MapPair ( const Variable &  v, const CanonicalForm &  s  )

inline

Definition at line 55 of file cf_map.h.

: V(v), S(s) {}

MapPair() [2/3]

MapPair::MapPair ( )

inline

Definition at line 56 of file cf_map.h.

: V(), S(1) {}

MapPair() [3/3]

MapPair::MapPair ( const MapPair &  p )

inline

Definition at line 57 of file cf_map.h.

: V(p.V), S(p.S) {}

~MapPair()

MapPair::~MapPair ( )

inline

Definition at line 58 of file cf_map.h.

{}

Member Function Documentation

operator=()

MapPair & MapPair::operator=

(

const MapPair &

p

)

MapPair & MapPair::operator = ( const MapPair & p )

MapPair::operator = - assignment operator.

Definition at line 28 of file cf_map.cc.

{
    if ( this != &p ) {
        V = p.V;
        S = p.S;
    }
    return *this;
}

subst()

CanonicalForm MapPair::subst ( ) const

inline

Definition at line 61 of file cf_map.h.

{ return S; }

var()

Variable MapPair::var ( ) const

inline

Definition at line 60 of file cf_map.h.

{ return V; }

Field Documentation

S

CanonicalForm MapPair::S

private

Definition at line 53 of file cf_map.h.

V

Variable MapPair::V

private

Definition at line 52 of file cf_map.h.

---

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

• factory/cf_map.h
• factory/cf_map.cc