newInstance() public méthode

public newInstance ( AtomicSentence atom ) : Literal
atom AtomicSentence
Résultat Literal
Literal Class Documentation
Exemple #1
0
 public Literal subst(Dictionary<Variable, Term> theta, Literal aLiteral)
 {
     return aLiteral.newInstance((AtomicSentence)aLiteral
             .getAtomicSentence().accept(this, theta));
 }