Esempi in C# (CSharp) per Mona MonaPos

Esempio n. 1

File: MonaPos.cs Progetto: AutomataTutor/automatatutor-backend

 public MonaSuccessor(MonaPos p) : base(p, MonaPosUnaryConstructor.Succ) { }

Esempio n. 2

 public MonaIsSuccessor(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Succ)
 {
 }

Esempio n. 3

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

Esempio n. 4

 public MonaPosGeq(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Geq)
 {
 }

Esempio n. 5

 public MonaIsPredecessor(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Pred)
 {
 }

Esempio n. 6

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

 public MonaPosLe(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Le) { }

Esempio n. 7

 public MonaPosLe(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Le)
 {
 }

Esempio n. 8

 public MonaPredecessor(MonaPos p) : base(p, MonaPosUnaryConstructor.Pred)
 {
 }

Esempio n. 9

 public MonaPosUnary(MonaPos p, MonaPosUnaryConstructor op)
 {
     this.pos = p;
     this.op  = op;
 }

Esempio n. 10

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

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

Esempio n. 11

 public MonaSuccessor(MonaPos p) : base(p, MonaPosUnaryConstructor.Succ)
 {
 }

Esempio n. 12

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

 public MonaIsSuccessor(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Succ) { }

Esempio n. 13

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

 public MonaIsPredecessor(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Pred) { }

Esempio n. 14

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

 public MonaPosGeq(MonaPos p1, MonaPos p2) : base(p1, p2, MonaPosComparisonOperator.Geq) { }

Esempio n. 15

File: MonaPos.cs Progetto: AutomataTutor/automatatutor-backend

 public MonaPredecessor(MonaPos p) : base(p, MonaPosUnaryConstructor.Pred) { }

Esempio n. 16

 public MonaBinaryPosFormula(MonaPos p1, MonaPos p2, MonaPosComparisonOperator op)
 {
     this.pos1 = p1;
     this.pos2 = p2;
     this.op   = op;
 }

Esempio n. 17

File: MonaPos.cs Progetto: AutomataTutor/automatatutor-backend

 public MonaPosUnary(MonaPos p, MonaPosUnaryConstructor op)
 {
     this.pos = p;
     this.op = op;
 }

Esempio n. 18

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

 public MonaBinaryPosFormula(MonaPos p1, MonaPos p2, MonaPosComparisonOperator op)
 {
     this.pos1 = p1;
     this.pos2 = p2;
     this.op = op;
 }