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

getStatus() public method

public getStatus ( Symbol symbol ) : bool
symbol AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return bool
	public bool getStatus(Symbol symbol) {
		return h[symbol];
	}

Usage Example

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