Метод | Описание | |
---|---|---|
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 | |
Результат | Function |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aLiteral | ||
Результат |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aSentence | Sentence | |
Результат | Sentence |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aTerm | Term | |
Результат | Term |
public visitQuantifiedSentence ( |
||
sentence | ||
arg | Object | |
Результат | Object |
public visitVariable ( |
||
variable | ||
arg | Object | |
Результат | Object |