public void TestScenario2_Relation_1()
{
/*
* 1: A(2,3) [Point] => Point
* 2: B(3,4) [Point] => Point
* 3: AB [Label] => [Line, LineSegment]
* 4: ask slope = ?
*/
var graph = new RelationGraph();
var ptA = new Point("A", 2, 3);
var ptASymbol = new PointSymbol(ptA);
var ptB = new Point("B", 3, 4);
var ptBSymbol = new PointSymbol(ptB);
graph.AddNode(ptASymbol);
graph.AddNode(ptBSymbol);
const string label = "AB";
var query = new Query(label, ShapeType.Line);
var qn = graph.AddNode(query) as QueryNode;
Assert.NotNull(qn);
Assert.NotNull(qn.Query);
Assert.True(qn.Query.Equals(query));
Assert.True(query.Success);
Assert.Null(query.FeedBack);
Assert.True(qn.InternalNodes.Count == 1);
var sn = qn.InternalNodes[0] as ShapeNode;
Assert.NotNull(sn);
var ls = sn.ShapeSymbol as LineSymbol;
Assert.NotNull(ls);
Assert.True(ls.ToString().Equals("x-y+1=0"));
var shapes = graph.RetrieveShapeNodes();
Assert.True(shapes.Count == 3);
var variable = new Var('m');
var query1 = new Query(variable); //m=
qn = graph.AddNode(query1) as QueryNode;
Assert.NotNull(qn);
Assert.NotNull(qn.Query);
Assert.True(query.Success);
Assert.Null(query.FeedBack);
Assert.True(qn.InternalNodes.Count == 1);
var gn = qn.InternalNodes[0] as GoalNode;
Assert.NotNull(gn);
var eqGoal = gn.Goal as EqGoal;
Assert.NotNull(eqGoal);
Assert.True(eqGoal.Lhs.Equals(variable));
Assert.True(eqGoal.Rhs.Equals(1));
shapes = graph.RetrieveShapeNodes();
Assert.True(shapes.Count == 3);
}
public void TestScenario2_Relation_1()
{
/*
* 1: A(2,3) [Point] => Point
* 2: B(3,4) [Point] => Point
* 3: AB [Label] => [Line, LineSegment]
* 4: ask slope = ?
*/
var graph = new RelationGraph();
var ptA = new Point("A", 2, 3);
var ptASymbol = new PointSymbol(ptA);
var ptB = new Point("B", 3, 4);
var ptBSymbol = new PointSymbol(ptB);
graph.AddNode(ptASymbol);
graph.AddNode(ptBSymbol);
const string label = "AB";
var query = new Query(label, ShapeType.Line);
var qn = graph.AddNode(query) as QueryNode;
Assert.NotNull(qn);
Assert.NotNull(qn.Query);
Assert.True(qn.Query.Equals(query));
Assert.True(query.Success);
Assert.Null(query.FeedBack);
Assert.True(qn.InternalNodes.Count == 1);
var sn = qn.InternalNodes[0] as ShapeNode;
Assert.NotNull(sn);
var ls = sn.ShapeSymbol as LineSymbol;
Assert.NotNull(ls);
Assert.True(ls.ToString().Equals("x-y+1=0"));
var shapes = graph.RetrieveShapeNodes();
Assert.True(shapes.Count == 3);
var variable = new Var('m');
var query1 = new Query(variable); //m=
qn = graph.AddNode(query1) as QueryNode;
Assert.NotNull(qn);
Assert.NotNull(qn.Query);
Assert.True(query.Success);
Assert.Null(query.FeedBack);
Assert.True(qn.InternalNodes.Count == 1);
var gn = qn.InternalNodes[0] as GoalNode;
Assert.NotNull(gn);
var eqGoal = gn.Goal as EqGoal;
Assert.NotNull(eqGoal);
Assert.True(eqGoal.Lhs.Equals(variable));
Assert.True(eqGoal.Rhs.Equals(1));
shapes = graph.RetrieveShapeNodes();
Assert.True(shapes.Count == 3);
}
