public void HvalEquality2()
{
Hval h1 = new Hval(22);
Hval h2 = new Hval(23);
Assert.AreEqual(false, h1.IsEqualTo(h2));
}
public void ObjectAsOf4()
{
Tnum item = new Tnum(Hstate.Stub);
Hval h = item.ObjectAsOf(DateTime.Now);
Assert.AreEqual("Stub", h.ToString);
}
public void ObjectAsOf3()
{
Tnum item = new Tnum(3);
Hval h = item.ObjectAsOf(DateTime.Now);
Assert.AreEqual(3, h.Val);
}
public void HvalEquality4()
{
Hval h1 = new Hval(true);
Hval h2 = new Hval(true);
Assert.AreEqual(true, h1.IsEqualTo(h2));
}
public void TestHval11()
{
Hval HboolF = new Hval(false);
bool r = HboolF.IsTrue;
Assert.AreEqual(false, r);
}
public int CompareTo(AstarNode _tocomp)
{
int compare = Fval.CompareTo(_tocomp.Fval);
if (compare == 0)
{
compare = Hval.CompareTo(_tocomp.Hval);
}
return(-compare);
}
public void IsUnstated1()
{
Hval unst = new Hval(null, Hstate.Unstated);
Tbool tb1 = new Tbool(false);
tb1.AddState(Date(2000, 1, 1), unst);
tb1.AddState(Date(2001, 1, 1), true);
Assert.AreEqual("{Dawn: false; 1/1/2000: true; 1/1/2001: false}", tb1.IsUnstated.Out);
}
public void FactOrder5a_lazy()
{
Hval h = new Hval(null, Hstate.Null);
Tnum u = new Tnum(h);
Facts.Reset();
Facts.GetUnknowns = true;
Tnum theRule = Switch <Tnum>(() => A(), () => X(),
() => B(), () => Y(),
() => u);
Assert.AreEqual("A", ShowUnknownTest());
}
public void MergeTvars2() // Merge unknown Tvar w/ mixed (known and unknown) Tvar
{
Hval unst = new Hval(null, Hstate.Null);
Tnum tn1 = new Tnum(unst);
Tnum tn2 = new Tnum(0);
tn2.AddState(Date(2000, 1, 1), unst);
tn2.AddState(Date(2001, 1, 1), 2);
tn2.AddState(Date(2002, 1, 1), unst);
Assert.AreEqual(tn2.Out, Util.MergeTvars <Tnum>(tn1, tn2).Out);
}
public void MergeTvars1()
{
Hval unst = new Hval(null, Hstate.Null);
Tnum tn1 = new Tnum(unst);
tn1.AddState(Date(2000, 1, 1), 1);
tn1.AddState(Date(2001, 1, 1), unst);
tn1.AddState(Date(2002, 1, 1), 3);
tn1.AddState(Date(2003, 1, 1), unst);
Tnum tn2 = new Tnum(0);
tn2.AddState(Date(2000, 1, 1), unst);
tn2.AddState(Date(2001, 1, 1), 2);
tn2.AddState(Date(2002, 1, 1), unst);
tn2.AddState(Date(2003, 1, 1), unst);
Tnum result = Util.MergeTvars <Tnum>(tn1, tn2);
Assert.AreEqual("{Dawn: 0; 1/1/2000: 1; 1/1/2001: 2; 1/1/2002: 3; 1/1/2003: Null}", result.Out);
}
public void MergeTvars1()
{
Hval unst = new Hval(null,Hstate.Null);
Tnum tn1 = new Tnum(unst);
tn1.AddState(Date(2000,1,1), 1);
tn1.AddState(Date(2001,1,1), unst);
tn1.AddState(Date(2002,1,1), 3);
tn1.AddState(Date(2003,1,1), unst);
Tnum tn2 = new Tnum(0);
tn2.AddState(Date(2000,1,1), unst);
tn2.AddState(Date(2001,1,1), 2);
tn2.AddState(Date(2002,1,1), unst);
tn2.AddState(Date(2003,1,1), unst);
Tnum result = Util.MergeTvars<Tnum>(tn1,tn2);
Assert.AreEqual("{Dawn: 0; 1/1/2000: 1; 1/1/2001: 2; 1/1/2002: 3; 1/1/2003: Null}", result.Out);
}
public void MergeTvars2()
{
Hval unst = new Hval(null,Hstate.Null);
Tnum tn1 = new Tnum(unst);
Tnum tn2 = new Tnum(0);
tn2.AddState(Date(2000,1,1), unst);
tn2.AddState(Date(2001,1,1), 2);
tn2.AddState(Date(2002,1,1), unst);
Assert.AreEqual(tn2.Out, Util.MergeTvars<Tnum>(tn1,tn2).Out);
}
public void IsUnstated1()
{
Hval unst = new Hval(null,Hstate.Unstated);
Tbool tb1 = new Tbool(false);
tb1.AddState(Date(2000,1,1), unst);
tb1.AddState(Date(2001,1,1), true);
Assert.AreEqual("{Dawn: false; 1/1/2000: true; 1/1/2001: false}", tb1.IsUnstated.Out);
}
public void TestHval6()
{
Hval HnumKnown2 = new Hval(42);
Assert.AreEqual(HnumKnown.Val, HnumKnown2.Val);
}
public void FactOrder5d_lazy ()
{
Hval h = new Hval(null, Hstate.Null);
Tnum u = new Tnum(h);
Facts.Reset();
Facts.GetUnknowns = true;
Facts.Assert(p1, "A", p2, false);
Facts.Assert(p1, "B", p2, true);
Tnum theRule = Switch<Tnum>(()=> A(), ()=> X(),
()=> B(), ()=> Y(),
()=> u);
Assert.AreEqual("Y", ShowUnknownTest());
Facts.GetUnknowns = true;
}
public void TestHval16()
{
Hval h = new Hval(null, Hstate.Uncertain);
Assert.AreEqual("Uncertain", h.ToString);
}
public void TestHval15()
{
Hval h = new Hval(44);
Assert.AreEqual("44", h.ToString);
}
public void TestHval14()
{
Hval h = new Hval(44);
Assert.AreEqual(true, h.IsKnown);
}
public void TestHval13()
{
Hval h = new Hval(null, Hstate.Uncertain);
Assert.AreEqual(false, h.IsKnown);
}
