public AngleArcEquation(GroundedClause l, GroundedClause r) : base(l, r)
{
double sumL = SumSide(l.CollectTerms());
double sumR = SumSide(r.CollectTerms());
if (!Utilities.CompareValues(sumL, sumR))
{
throw new ArgumentException("Angle-Arc equation is inaccurate; sums differ: " + l + " " + r);
}
}
public AngleEquation(GroundedClause l, GroundedClause r)
: base(l, r)
{
double sumL = SumSide(l.CollectTerms());
double sumR = SumSide(r.CollectTerms());
if (!Utilities.CompareValues(sumL, sumR))
{
throw new ArgumentException("Angle equation is inaccurate; sums differ: " + l + " " + r);
}
}
public SegmentEquation(GroundedClause l, GroundedClause r) : base(l, r)
{
double sumL = SumSide(l.CollectTerms());
double sumR = SumSide(r.CollectTerms());
//if (!Utilities.CompareValues(sumL, sumR))
//{
// throw new ArgumentException("Segment equation is inaccurate; sums differ: " + l + " = " + r);
//}
if (Utilities.CompareValues(sumL, 0) && Utilities.CompareValues(sumR, 0))
{
throw new ArgumentException("Should not have an equation that is 0 = 0: " + this.ToString());
}
}
public ArcEquation(GroundedClause l, GroundedClause r)
: base(l, r)
{
double sumL = SumSide(l.CollectTerms());
double sumR = SumSide(r.CollectTerms());
//if (!Utilities.CompareValues(sumL, sumR))
//{
// throw new ArgumentException("Segment equation is inaccurate; sums differ: " + l + " = " + r);
//}
if (Utilities.CompareValues(sumL, 0) && Utilities.CompareValues(sumR, 0))
{
throw new ArgumentException("Should not have an equation that is 0 = 0: " + this.ToString());
}
}
public override List <GroundedClause> CollectTerms()
{
List <GroundedClause> list = new List <GroundedClause>();
list.AddRange(leftExp.CollectTerms());
foreach (GroundedClause gc in rightExp.CollectTerms())
{
GroundedClause copyGC = gc.DeepCopy();
list.Add(copyGC);
}
return(list);
}