Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members

compmod::entry Class Reference

#include <compmod.hpp>

Collaboration diagram for compmod::entry:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 entry (const c_rule *r)
bool operator< (const entry &rhs) const

Static Public Member Functions

void init ()

Public Attributes

const c_rulerule
std::set< int > possibles

Static Private Attributes

std::map< std::string, std::set<
int > > 
all_possibles

Friends

std::ostream & operator<< (std::ostream &os, const entry &e)

Detailed Description

An entry in the computation set.


Constructor & Destructor Documentation

compmod::entry::entry const c_rule r  ) 
 

Create an entry based on the specified c_rule.

Parameters:
r the clause to base the entry on.


Member Function Documentation

void compmod::entry::init  )  [static]
 

Initialises the entry class. This precalculates all sets of possible extensions of call entries.

bool compmod::entry::operator< const entry rhs  )  const
 

Determine whether this entry is to be ordered before another.

Parameters:
rhs the other entry.
Returns:
Truth value.


Friends And Related Function Documentation

std::ostream& operator<< std::ostream &  os,
const entry e
[friend]
 

Write a text representation of this entry to an ostream.

Parameters:
os the ostream to write to.
e the entry to write.


Member Data Documentation

map< string, set< int > > compmod::entry::all_possibles [static, private]
 

All possible sets of possible extensions of entries, indexed on prefix.

std::set<int> compmod::entry::possibles [mutable]
 

The set of possible extensions of this entry (only applicable for calls).

const c_rule* compmod::entry::rule
 

The rule this entry is based on.


The documentation for this class was generated from the following files:
Generated on Mon Mar 21 00:08:23 2005 for Fixpoint Engine by  doxygen 1.3.9.1