| Package | Description |
|---|---|
| mycompiler.mystatement | |
| mycompiler.mytypereconstruction | |
| mycompiler.mytypereconstruction.set |
| Modifier and Type | Method and Description |
|---|---|
CTripleSet |
InstVar.TRInstVar(CTriple triple,
CSupportData supportData)
Implementierung des Algorithmus 5.38-1 von Martin Pl�micke
Author: J�rg B�uerle |
| Modifier and Type | Method and Description |
|---|---|
CTriple |
CTriple.clone() |
CTriple |
CTriple.cloneAndApplyUnify(CSubstitutionSet unifier)
Kopiert dieses Triple und wendet alle Substitutionen eines Unifiers auf
die Kopie an.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Iterator<CTriple> |
CTripleSet.iterator() |