newInstance() public method

public newInstance ( AtomicSentence atom ) : Literal
atom AtomicSentence
return Literal
Literal Class Documentation
Ejemplo n.º 1
0
 public Literal subst(Dictionary<Variable, Term> theta, Literal aLiteral)
 {
     return aLiteral.newInstance((AtomicSentence)aLiteral
             .getAtomicSentence().accept(this, theta));
 }