C# (CSharp) AIMA.Core.Logic.FOL.KB.Data Literal.newInstanceの例

newInstance() public method

public newInstance ( AtomicSentence atom ) : Literal
atom	AtomicSentence
return	Literal

コード例 #1

ファイル: SubstVisitor.cs プロジェクト: PaulMineau/AIMA.Net

 public Literal subst(Dictionary<Variable, Term> theta, Literal aLiteral)
 {
     return aLiteral.newInstance((AtomicSentence)aLiteral
             .getAtomicSentence().accept(this, theta));
 }