Beispiel #1
0
 /*Constructor for binary operator*/
 public BinaryStructure(ITerm t1, string id, ITerm t2) : base(id, 2)
 {
     AddTerm(t1);
     AddTerm(t2);
     if (t1.GetSrcInfo() != null)
     {
         srcInfo = t1.GetSrcInfo();
     }
     else
     {
         srcInfo = t2.GetSrcInfo();
     }
 }
Beispiel #2
0
 public PlanBodyImpl(BodyType.Body_Type t, ITerm b, bool planTerm) : this(t, planTerm)
 {
     formType = t;
     if (b != null)
     {
         srcInfo = b.GetSrcInfo();
     }
     term = b;
 }
Beispiel #3
0
 /*Constructor for unary operator*/
 public BinaryStructure(string id, ITerm arg) : base(id, 1)
 {
     AddTerm(arg);
     srcInfo = arg.GetSrcInfo();
 }