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); }