Inferno  0.2
Public Member Functions
CouplingKeys Class Reference

#include <coupling.hpp>

List of all members.

Public Member Functions

 CouplingKeys ()
void DoKey (TreePtr< Node > x, TreePtr< Node > pattern, Conjecture::Choice *gc=NULL, int go=0)
 Key a node to a pattern (generates a default key structure)
void DoKey (shared_ptr< Key > key, TreePtr< Node > pattern, Conjecture::Choice *gc=NULL, int go=0)
 Key some key to a pattern - key is supplied by user, can be subclass of Key.
TreePtr< Node > GetCoupled (TreePtr< Node > pattern)
 Get the node to which a pattern was keyed, or NULL if pattern has not been keyed.
shared_ptr< Key > GetKey (TreePtr< Node > pattern)
 Get the key for a given pattern, or NULL if pattern has not been keyed.
Set< TreePtr< Node > > GetAllKeys ()
 Get all the keys in set form.
void SetMaster (CouplingKeys *m)
void Clear ()
 Clear the couplings.

Detailed Description

Definition at line 21 of file coupling.hpp.

Constructor & Destructor Documentation

CouplingKeys::CouplingKeys ( )

Definition at line 5 of file coupling.cpp.

Member Function Documentation

void CouplingKeys::Clear ( )

Clear the couplings.

Definition at line 152 of file coupling.cpp.

void CouplingKeys::DoKey ( TreePtr< Node >  x,
TreePtr< Node >  pattern,
Conjecture::Choice *  gc = NULL,
int  go = 0 
)

Key a node to a pattern (generates a default key structure)

Definition at line 10 of file coupling.cpp.

Referenced by NormalAgent::DecidedCompare().

void CouplingKeys::DoKey ( shared_ptr< Key >  key,
TreePtr< Node >  pattern,
Conjecture::Choice *  gc = NULL,
int  go = 0 
)

Key some key to a pattern - key is supplied by user, can be subclass of Key.

Definition at line 25 of file coupling.cpp.

References ASSERT, FOREACH, GetKey(), and TRACE.

Set< TreePtr< Node > > CouplingKeys::GetAllKeys ( )

Get all the keys in set form.

Definition at line 104 of file coupling.cpp.

References ASSERT, FOREACH, GetAllKeys(), and TRACE.

Referenced by GetAllKeys().

TreePtr< Node > CouplingKeys::GetCoupled ( TreePtr< Node >  pattern)

Get the node to which a pattern was keyed, or NULL if pattern has not been keyed.

Definition at line 70 of file coupling.cpp.

References GetKey().

Referenced by NormalAgent::DecidedCompare(), and IsLabelReached::DecidedCompare().

shared_ptr< Key > CouplingKeys::GetKey ( TreePtr< Node >  pattern)

Get the key for a given pattern, or NULL if pattern has not been keyed.

Definition at line 81 of file coupling.cpp.

References GetKey(), and Map< KEY, DATA >::IsExist().

Referenced by NormalAgent::BuildReplace(), DoKey(), GetCoupled(), and GetKey().

void CouplingKeys::SetMaster ( CouplingKeys *  m)

Provide a pointer to another (read-only) instance of this class that will be merged for the purposes of searching, but will not recieve new couplings

Definition at line 144 of file coupling.cpp.

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