C# (CSharp) AIMA.Core.Logic.Propositional.Algorithms Model.getStatus Examples

getStatus() public method

public getStatus ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool

Example #1

File: ModelTest.cs Project: PaulMineau/AIMA.Net

 public void testExtendModel()
 {
     String p = "P";
     m = m.extend(new Symbol(p), true);
     Assert.AreEqual(true, m.getStatus(new Symbol("P")));
 }