CFMap Class Reference

class CFMap More...

#include <cf_map.h>

Public Member Functions
	CFMap ()
	CFMap (const CanonicalForm &s)
	CFMap (const Variable &v)
	CFMap (const Variable &v, const CanonicalForm &s)
	~CFMap ()
	CFMap (const CFList &L)
	CFMap::CFMap ( const CFList & L ) More...
	CFMap (const CFMap &m)
CFMap &	operator= (const CFMap &m)
	CFMap & CFMap::operator = ( const CFMap & m ) More...
void	newpair (const Variable &v, const CanonicalForm &s)
	void CFMap::newpair ( const Variable & v, const CanonicalForm & s ) More...
CanonicalForm	operator() (const CanonicalForm &f) const
	CanonicalForm CFMap::operator () ( const CanonicalForm & f ) const. More...

Private Attributes
MPList	P

Detailed Description

class CFMap

class CFMap - class to map canonical forms.

Use an object of class CFMap to insert 'values' into canonical form. Such a mapping is defined by a list of MapPairs (V -> S) describing which canonical form S to insert for variable V. Hereby, the substituted canonical forms are not subject to further substitutions.

P: list of MapPairs, sorted by level in descending order

Definition at line 84 of file cf_map.h.

Constructor & Destructor Documentation

CFMap() [1/6]

CFMap::CFMap ( )

inline

Definition at line 89 of file cf_map.h.

{}

CFMap() [2/6]

CFMap::CFMap ( const CanonicalForm &  s )

inline

Definition at line 90 of file cf_map.h.

: P( MapPair( Variable(), s ) ) {}

CFMap() [3/6]

CFMap::CFMap ( const Variable &  v )

inline

Definition at line 91 of file cf_map.h.

: P( MapPair( v, 1 ) ) {}

CFMap() [4/6]

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

inline

Definition at line 92 of file cf_map.h.

: P( MapPair( v, s ) ) {}

~CFMap()

CFMap::~CFMap ( )

inline

Definition at line 93 of file cf_map.h.

{}

CFMap() [5/6]

CFMap::CFMap

(

const CFList &

L

)

CFMap::CFMap ( const CFList & L )

CFMap::CFMap() - construct a CFMap from a CFList.

Variable[i] will be mapped to CFList[i] under the resulting map.

Definition at line 63 of file cf_map.cc.

{
    CFListIterator i;
    int j;
    for ( i = L, j = 1; i.hasItem(); i++, j++ )
        P.insert( MapPair( Variable(j), i.getItem() ) );
}

CFMap() [6/6]

CFMap::CFMap ( const CFMap &  m )

inline

Definition at line 95 of file cf_map.h.

: P( m.P ) {}

Member Function Documentation

newpair()

void CFMap::newpair	(	const Variable &	v,
		const CanonicalForm &	s
	)

void CFMap::newpair ( const Variable & v, const CanonicalForm & s )

CFMap::newpair() - insert a MapPair into a CFMap.

Definition at line 120 of file cf_map.cc.

{
    P.insert( MapPair( v, s ), cmpfunc, insfunc );
}

operator()()

CanonicalForm CFMap::operator()

(

const CanonicalForm &

f

)

const

CanonicalForm CFMap::operator () ( const CanonicalForm & f ) const.

CFMap::operator () - apply CO to f.

See subsrec() for more detailed information.

Definition at line 178 of file cf_map.cc.

{
    MPListIterator i = P;
    return subsrec( f, i );
}

operator=()

CFMap & CFMap::operator=

(

const CFMap &

m

)

CFMap & CFMap::operator = ( const CFMap & m )

CFMap::operator = - assignment operator.

Definition at line 77 of file cf_map.cc.

{
    if ( this != &m )
        P = m.P;
    return *this;
}

Field Documentation

P

MPList CFMap::P

private

Definition at line 87 of file cf_map.h.

---

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

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