C# (CSharp) Mona MonaSet Examples

Example #1

File: MonaSet.cs Project: AutomataTutor/automatatutor-backend

 public MonaUnion(MonaSet left, MonaSet right) : base(left, right, MonaBinarySetOperator.Union) { }

Example #2

File: MonaSet.cs Project: AutomataTutor/automatatutor-backend

 public MonaSetBinary(MonaSet set1, MonaSet set2, MonaBinarySetOperator op)
 {
     this.set1 = set1;
     this.set2 = set2;
     this.op = op;
 }

Example #3

File: MonaSet.cs Project: AutomataTutor/automatatutor-backend

 public MonaIntersect(MonaSet left, MonaSet right) : base(left, right, MonaBinarySetOperator.Intersection) { }

Example #4

 public MonaSetEq(MonaSet s1, MonaSet s2)
 {
     this.set1 = s1;
     this.set2 = s2;
 }

Example #5

 public MonaBelongs(MonaPos p, MonaSet S)
 {
     this.pos = p;
     this.set = S;
 }

Example #6

File: MonaSet.cs Project: johnyenter-briars/AutomataTutorUpdates

 public MonaUnion(MonaSet left, MonaSet right) : base(left, right, MonaBinarySetOperator.Union)
 {
 }

Example #7

File: MonaSet.cs Project: johnyenter-briars/AutomataTutorUpdates

 public MonaIntersect(MonaSet left, MonaSet right) : base(left, right, MonaBinarySetOperator.Intersection)
 {
 }

Example #8

File: MonaSet.cs Project: johnyenter-briars/AutomataTutorUpdates

 public MonaSetBinary(MonaSet set1, MonaSet set2, MonaBinarySetOperator op)
 {
     this.set1 = set1;
     this.set2 = set2;
     this.op   = op;
 }

Example #9

File: MonaFormula.cs Project: AutomataTutor/automatatutor-backend

 public MonaBelongs(MonaPos p, MonaSet S)
 {
     this.pos = p;
     this.set = S;
 }        

Example #10

File: MonaFormula.cs Project: AutomataTutor/automatatutor-backend

 public MonaSetEq(MonaSet s1, MonaSet s2)
  {
      this.set1 = s1;
      this.set2 = s2;
  }