public void Test11()
{
//Arrange
String[] param = { /*"-q"*/ }; // suppressing informational and banner messages
Core.AdeSystem.Initialize(param);
Core.AdeSystem.Initialize(param);
Core.AdeSystem.LoadDomain(LighbulbsProblem);
Core.AdeSystem.ConstructSystemDomain();
//Act
var query = new AlwaysInvolvedQuery("always involved Mietus in TURNTWO, TURNONE by epsilon,epsilon");
var result = query.ToProlog();
//Assert
Assert.AreEqual(result, FalseString);
PlEngine.PlCleanup();
}
public void Test17()
{
//Arrange
String[] param = { /*"-q"*/ }; // suppressing informational and banner messages
Core.AdeSystem.Initialize(param);
Core.AdeSystem.Initialize(param);
Core.AdeSystem.LoadDomain(YaleProblem);
Core.AdeSystem.ConstructSystemDomain();
//Act
var query = new AlwaysInvolvedQuery("always involved Hador in SHOOT,SHOOT,ENTICE by Hador,Mietus,Hador");
var result = query.ToProlog();
//Assert
Assert.AreEqual(result, FalseString);
PlEngine.PlCleanup();
}