Public Member Functions | Private Attributes | Friends
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)
 
CFMapoperator= (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
 

Friends

OSTREAMoperator<< (OSTREAM &s, const CFMap &m)
 OSTREAM & operator << ( OSTREAM & s, const CFMap & m ) More...
 

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::CFMap ( )
inline

Definition at line 89 of file cf_map.h.

89 {}
CFMap::CFMap ( const CanonicalForm s)
inline

Definition at line 90 of file cf_map.h.

90 : P( MapPair( Variable(), s ) ) {}
class MapPair
Definition: cf_map.h:49
MPList P
Definition: cf_map.h:87
factory&#39;s class for variables
Definition: variable.h:32
CFMap::CFMap ( const Variable v)
inline

Definition at line 91 of file cf_map.h.

91 : P( MapPair( v, 1 ) ) {}
class MapPair
Definition: cf_map.h:49
MPList P
Definition: cf_map.h:87
CFMap::CFMap ( const Variable v,
const CanonicalForm s 
)
inline

Definition at line 92 of file cf_map.h.

92 : P( MapPair( v, s ) ) {}
class MapPair
Definition: cf_map.h:49
MPList P
Definition: cf_map.h:87
CFMap::~CFMap ( )
inline

Definition at line 93 of file cf_map.h.

93 {}
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.

64 {
66  int j;
67  for ( i = L, j = 1; i.hasItem(); i++, j++ )
68  P.insert( MapPair( Variable(j), i.getItem() ) );
69 }
class MapPair
Definition: cf_map.h:49
MPList P
Definition: cf_map.h:87
factory&#39;s class for variables
Definition: variable.h:32
void insert(const T &)
Definition: ftmpl_list.cc:193
int j
Definition: myNF.cc:70
int i
Definition: cfEzgcd.cc:123
T & getItem() const
Definition: ftmpl_list.cc:431
CFMap::CFMap ( const CFMap m)
inline

Definition at line 95 of file cf_map.h.

95 : P( m.P ) {}
MPList P
Definition: cf_map.h:87

Member Function Documentation

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.

121 {
122  P.insert( MapPair( v, s ), cmpfunc, insfunc );
123 }
class MapPair
Definition: cf_map.h:49
static int cmpfunc(const MapPair &p1, const MapPair &p2)
static int cmpfunc ( const MapPair & p1, const MapPair & p2 )
Definition: cf_map.cc:93
MPList P
Definition: cf_map.h:87
void insert(const T &)
Definition: ftmpl_list.cc:193
static void insfunc(MapPair &orgp, const MapPair &newp)
static void insfunc ( MapPair & orgp, const MapPair & newp )
Definition: cf_map.cc:109
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.

179 {
180  MPListIterator i = P;
181  return subsrec( f, i );
182 }
static CanonicalForm subsrec(const CanonicalForm &f, const MPListIterator &i)
static CanonicalForm subsrec ( const CanonicalForm & f, const MPListIterator & i ) ...
Definition: cf_map.cc:136
MPList P
Definition: cf_map.h:87
int i
Definition: cfEzgcd.cc:123
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.

78 {
79  if ( this != &m )
80  P = m.P;
81  return *this;
82 }
MPList P
Definition: cf_map.h:87

Friends And Related Function Documentation

OSTREAM& operator<< ( OSTREAM s,
const CFMap m 
)
friend

OSTREAM & operator << ( OSTREAM & s, const CFMap & m )

operator << - print a CFMap ("( V[1] -> S[1], ..., V[n] -> * S[n] )".

Definition at line 191 of file cf_map.cc.

192 {
193  m.P.print(s);
194  return s;
195 }
const CanonicalForm int s
Definition: facAbsFact.cc:55
MPList P
Definition: cf_map.h:87
void print(OSTREAM &) const
Definition: ftmpl_list.cc:366

Field Documentation

MPList CFMap::P
private

Definition at line 87 of file cf_map.h.


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