public static bool AcquireCongruences(KnownMeasurementsAggregator known, List <GroundedClause> clauses)
{
bool addedKnown = false;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause clause in clauses)
{
GeometryTutorLib.ConcreteAST.CongruentSegments cs = clause as GeometryTutorLib.ConcreteAST.CongruentSegments;
if (cs != null && !cs.IsReflexive())
{
double length1 = known.GetSegmentLength(cs.cs1);
double length2 = known.GetSegmentLength(cs.cs2);
if (length1 >= 0 && length2 < 0)
{
if (known.AddSegmentLength(cs.cs2, length1))
{
addedKnown = true;
}
}
if (length1 <= 0 && length2 > 0)
{
if (known.AddSegmentLength(cs.cs1, length2))
{
addedKnown = true;
}
}
// else: both known
}
GeometryTutorLib.ConcreteAST.CongruentAngles cas = clause as GeometryTutorLib.ConcreteAST.CongruentAngles;
if (cas != null && !cas.IsReflexive())
{
double measure1 = known.GetAngleMeasure(cas.ca1);
double measure2 = known.GetAngleMeasure(cas.ca2);
if (measure1 >= 0 && measure2 < 0)
{
if (known.AddAngleMeasureDegree(cas.ca2, measure1))
{
addedKnown = true;
}
}
if (measure1 <= 0 && measure2 > 0)
{
if (known.AddAngleMeasureDegree(cas.ca1, measure2))
{
addedKnown = true;
}
}
// else: both known
}
}
return(addedKnown);
}
private static bool HandleSimpleAngleEquation(KnownMeasurementsAggregator known, AngleEquation theEq)
{
if (theEq.GetAtomicity() != Equation.BOTH_ATOMIC)
{
return(false);
}
Angle unknownAngle = null;
double angleValue = -1;
if (theEq.lhs is NumericValue)
{
unknownAngle = theEq.rhs as Angle;
angleValue = (theEq.lhs as NumericValue).DoubleValue;
}
else if (theEq.rhs is NumericValue)
{
unknownAngle = theEq.lhs as Angle;
angleValue = (theEq.rhs as NumericValue).DoubleValue;
}
else
{
return(false);
}
//
// (7) Add to the list of knowns
//
return(known.AddAngleMeasureDegree(unknownAngle, angleValue));
}
public static bool AcquireCongruences(KnownMeasurementsAggregator known, List<GroundedClause> clauses)
{
bool addedKnown = false;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause clause in clauses)
{
GeometryTutorLib.ConcreteAST.CongruentSegments cs = clause as GeometryTutorLib.ConcreteAST.CongruentSegments;
if (cs != null && !cs.IsReflexive())
{
double length1 = known.GetSegmentLength(cs.cs1);
double length2 = known.GetSegmentLength(cs.cs2);
if (length1 >= 0 && length2 < 0)
{
if (known.AddSegmentLength(cs.cs2, length1)) addedKnown = true;
}
if (length1 <= 0 && length2 > 0)
{
if (known.AddSegmentLength(cs.cs1, length2)) addedKnown = true;
}
// else: both known
}
GeometryTutorLib.ConcreteAST.CongruentAngles cas = clause as GeometryTutorLib.ConcreteAST.CongruentAngles;
if (cas != null && !cas.IsReflexive())
{
double measure1 = known.GetAngleMeasure(cas.ca1);
double measure2 = known.GetAngleMeasure(cas.ca2);
if (measure1 >= 0 && measure2 < 0)
{
if (known.AddAngleMeasureDegree(cas.ca2, measure1)) addedKnown = true;
}
if (measure1 <= 0 && measure2 > 0)
{
if (known.AddAngleMeasureDegree(cas.ca1, measure2)) addedKnown = true;
}
// else: both known
}
}
return addedKnown;
}
private static bool HandleSimpleAngleEquation(KnownMeasurementsAggregator known, AngleEquation theEq)
{
if (theEq.GetAtomicity() != Equation.BOTH_ATOMIC) return false;
Angle unknownAngle = null;
double angleValue = -1;
if (theEq.lhs is NumericValue)
{
unknownAngle = theEq.rhs as Angle;
angleValue = (theEq.lhs as NumericValue).DoubleValue;
}
else if (theEq.rhs is NumericValue)
{
unknownAngle = theEq.lhs as Angle;
angleValue = (theEq.rhs as NumericValue).DoubleValue;
}
else return false;
//
// (7) Add to the list of knowns
//
return known.AddAngleMeasureDegree(unknownAngle, angleValue);
}
