|
| |
|
| java.lang.Object
 de.uka.ilkd.key.counterexample.CExTerm
| CExTerm | | class CExTerm (Code) | | Diese Klasse soll als Wrapper dienen fuer ibijas Termklassen.
es soll gleichzeitig darin gespeichert werden, ob der entsprechende
Term funktionsfrei ist.
author:
Sonja Pieper
version:
1
See Also: AxiomCalculus |
| Rep | | public String Rep()(Code) | | Erstellung von Platzhaltern zu bestimmten Termen
ueberprueft ob ueberhaupt einer benoetigt wird anhand
der boolschen Variablen fft welche besagt ob
es sich bei dem term um einen funktionsfreien Term handelt:
|
| getParams | | public CExTerm[] getParams()(Code) | | Hat ein FunctionTerm (z.B. ein konstruktor) keine Parameter
wird an dieser stelle ein array der laenge 0 zurueckgegeben.
|
| interpretWith | | public String interpretWith(CExTerm res)(Code) | | Nur fuer die optimierte Version der Ausgabe wichtig:
Daher getrennte von der eigentlichen Ausgabe.
|
| isConstr | | public boolean isConstr()(Code) | | |
| isFFT | | public boolean isFFT()(Code) | | Soll zurueckgeben ob fft oder nicht
|
| isRep | | public String isRep(CExTerm res)(Code) | | wird bisher nur auf sich selbst aufgerufen als mit sich selbst als param
|
| isVar | | public boolean isVar()(Code) | | |
| paramsRep | | public String paramsRep()(Code) | | Generiere eine Liste der Parameter mit Reps fuer die nicht fft
|
| searchTerm | | public String searchTerm()(Code) | | suchTerm fuer den platzhalter des termes
|
|
|
|