Unify_Parents Class Reference#include <unification.h>
List of all members.
Constructor & Destructor Documentation
Unify_Parents::Unify_Parents |
( |
set< Unify_ECR * > |
parents |
) |
[inline] |
|
Unify_Parents::Unify_Parents |
( |
bool |
top |
) |
[inline] |
|
Member Function Documentation
bool Unify_Parents::empty |
( |
|
) |
const [inline] |
|
bool Unify_Parents::is_top |
( |
|
) |
const [inline] |
|
set<Unify_ECR*>& Unify_Parents::parents |
( |
|
) |
[inline] |
|
string Unify_Parents::str |
( |
|
) |
const |
|
void Unify_Parents::top |
( |
bool |
t |
) |
[inline] |
|
Member Data Documentation
The documentation for this class was generated from the following file:
|