Method | Description | |
---|---|---|
SubstVisitor ( ) : System | ||
subst ( Term>.Dictionary |
||
subst ( Term>.Dictionary |
||
subst ( Term>.Dictionary |
||
subst ( Term>.Dictionary |
||
visitQuantifiedSentence ( |
||
visitVariable ( |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aFunction | Function | |
return | Function |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aLiteral | ||
return |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aSentence | Sentence | |
return | Sentence |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aTerm | Term | |
return | Term |
public visitQuantifiedSentence ( |
||
sentence | ||
arg | Object | |
return | Object |
public visitVariable ( |
||
variable | ||
arg | Object | |
return | Object |