My Project
Public Member Functions | Private Attributes | Friends
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 ()
 
MapPairoperator= (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 ()
 
MapPairoperator= (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 ()
 
MapPairoperator= (const MapPair &p)
 
Variable var () const
 
CanonicalForm subst () const
 
void print (OSTREAM &) const
 

Private Attributes

Variable V
 
CanonicalForm S
 

Friends

OSTREAMoperator<< (OSTREAM &s, const MapPair &p)
 OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More...
 
OSTREAMoperator<< (OSTREAM &s, const MapPair &p)
 OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More...
 
OSTREAMoperator<< (OSTREAM &s, const MapPair &p)
 OSTREAM & operator << ( OSTREAM & s, const MapPair & p ) More...
 

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/9]

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

Definition at line 55 of file cf_map.h.

55 : V(v), S(s) {}
CanonicalForm S
Definition: cf_map.h:53
Variable V
Definition: cf_map.h:52
const CanonicalForm int s
Definition: facAbsFact.cc:51
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39

◆ MapPair() [2/9]

MapPair::MapPair ( )
inline

Definition at line 56 of file cf_map.h.

56 : V(), S(1) {}

◆ MapPair() [3/9]

MapPair::MapPair ( const MapPair p)
inline

Definition at line 57 of file cf_map.h.

57 : V(p.V), S(p.S) {}
int p
Definition: cfModGcd.cc:4078

◆ ~MapPair() [1/3]

MapPair::~MapPair ( )
inline

Definition at line 58 of file cf_map.h.

58 {}

◆ MapPair() [4/9]

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

Definition at line 973 of file factory.h.

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

◆ MapPair() [5/9]

MapPair::MapPair ( )
inline

Definition at line 974 of file factory.h.

974 : V(), S(1) {}

◆ MapPair() [6/9]

MapPair::MapPair ( const MapPair p)
inline

Definition at line 975 of file factory.h.

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

◆ ~MapPair() [2/3]

MapPair::~MapPair ( )
inline

Definition at line 976 of file factory.h.

976 {}

◆ MapPair() [7/9]

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

Definition at line 973 of file factory.h.

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

◆ MapPair() [8/9]

MapPair::MapPair ( )
inline

Definition at line 974 of file factory.h.

974 : V(), S(1) {}

◆ MapPair() [9/9]

MapPair::MapPair ( const MapPair p)
inline

Definition at line 975 of file factory.h.

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

◆ ~MapPair() [3/3]

MapPair::~MapPair ( )
inline

Definition at line 976 of file factory.h.

976 {}

Member Function Documentation

◆ operator=() [1/3]

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.

29 {
30  if ( this != &p ) {
31  V = p.V;
32  S = p.S;
33  }
34  return *this;
35 }

◆ operator=() [2/3]

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

◆ operator=() [3/3]

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

◆ print() [1/3]

void MapPair::print ( OSTREAM ) const

Definition at line 50 of file cf_map.cc.

51 {
52 }

◆ print() [2/3]

void MapPair::print ( OSTREAM ) const

◆ print() [3/3]

void MapPair::print ( OSTREAM ) const

◆ subst() [1/3]

CanonicalForm MapPair::subst ( ) const
inline

Definition at line 61 of file cf_map.h.

61 { return S; }

◆ subst() [2/3]

CanonicalForm MapPair::subst ( ) const
inline

Definition at line 979 of file factory.h.

979 { return S; }

◆ subst() [3/3]

CanonicalForm MapPair::subst ( ) const
inline

Definition at line 979 of file factory.h.

979 { return S; }

◆ var() [1/3]

Variable MapPair::var ( ) const
inline

Definition at line 60 of file cf_map.h.

60 { return V; }

◆ var() [2/3]

Variable MapPair::var ( ) const
inline

Definition at line 978 of file factory.h.

978 { return V; }

◆ var() [3/3]

Variable MapPair::var ( ) const
inline

Definition at line 978 of file factory.h.

978 { return V; }

Friends And Related Function Documentation

◆ operator<< [1/3]

OSTREAM& operator<< ( OSTREAM s,
const MapPair p 
)
friend

OSTREAM & operator << ( OSTREAM & s, const MapPair & p )

operator << - print a map pair ("V -> S").

Definition at line 43 of file cf_map.cc.

45 {
46  s << p.var() << " -> " << p.subst();
47  return s;
48 }

◆ operator<< [2/3]

OSTREAM& operator<< ( OSTREAM s,
const MapPair p 
)
friend

OSTREAM & operator << ( OSTREAM & s, const MapPair & p )

operator << - print a map pair ("V -> S").

Definition at line 43 of file cf_map.cc.

45 {
46  s << p.var() << " -> " << p.subst();
47  return s;
48 }

◆ operator<< [3/3]

OSTREAM& operator<< ( OSTREAM s,
const MapPair p 
)
friend

OSTREAM & operator << ( OSTREAM & s, const MapPair & p )

operator << - print a map pair ("V -> S").

Definition at line 43 of file cf_map.cc.

45 {
46  s << p.var() << " -> " << p.subst();
47  return s;
48 }

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: