public void UseCase_01()
{
var d1 = "../../examples-pddl/domain-01.pddl";
var p1 = "../../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
}
public void UseCase_01()
{
var d1 = "../examples-pddl/domain-01.pddl";
var p1 = "../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
}
public void UseCase_03()
{
var d1 = "../../examples-pddl/domain-01.pddl";
var p1 = "../../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
var op1_grounds = pd.ground_operator("op1");
Assert.IsNotNull(op1_grounds);
var lops = op1_grounds.ToList();
Assert.AreEqual(125, lops.Count);
}
public void UseCase_02()
{
var d1 = "../examples-pddl/domain-01.pddl";
var p1 = "../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
Assert.IsNotNull(pd.initialstate);
Assert.AreEqual(5, pd.initialstate.Count);
Assert.IsNotNull(pd.goals);
Assert.AreEqual(1, pd.goals.Count);
Assert.IsNotNull(pd.worldobjects);
Assert.AreEqual(5, pd.worldobjects.Keys.Count);
Assert.IsNotNull(pd.operators);
var ops = new List<string>(pd.operators);
Assert.AreEqual(2, ops.Count);
Assert.IsTrue(ops.Contains("op1"));
Assert.IsTrue(ops.Contains("op2"));
}
public void UseCase_02()
{
var d1 = "../../examples-pddl/domain-01.pddl";
var p1 = "../../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
Assert.IsNotNull(pd.initialstate);
Assert.AreEqual(5, pd.initialstate.Count);
Assert.IsNotNull(pd.goals);
Assert.AreEqual(1, pd.goals.Count);
Assert.IsNotNull(pd.worldobjects);
Assert.AreEqual(5, pd.worldobjects.Keys.Count);
Assert.IsNotNull(pd.operators);
var ops = new List <string>(pd.operators);
Assert.AreEqual(2, ops.Count);
Assert.IsTrue(ops.Contains("op1"));
Assert.IsTrue(ops.Contains("op2"));
}
public void TestGround()
{
// look for set( [('S','R','C'),('S','R','S')] )
var expect = new HashSet <PDDLNET.ROCollection <string> >();
expect.Add(new PDDLNET.ROCollection <string>(new string[] { "S", "R", "C" }));
expect.Add(new PDDLNET.ROCollection <string>(new string[] { "S", "R", "S" }));
var d1 = "../../examples-pddl/domain-01.pddl";
var p1 = "../../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
var op2_grounds = pd.ground_operator("op2");
var lops = op2_grounds.ToList();
foreach (var gop in lops)
{
if (gop.precondition_pos.SetEquals(expect))
{
return;
}
}
Assert.Fail("Expected value not in result");
}
public void UseCase_03()
{
var d1 = "../examples-pddl/domain-01.pddl";
var p1 = "../examples-pddl/problem-01.pddl";
var pd = new PDDLNET.DomainProblem(d1, p1);
Assert.IsNotNull(pd);
var op1_grounds = pd.ground_operator("op1");
Assert.IsNotNull(op1_grounds);
var lops = op1_grounds.ToList();
Assert.AreEqual(125, lops.Count);
}
