C# (CSharp) Mona MonaPosの例

コード例 #1

ファイル: MonaPos.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #2

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

コード例 #3

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

コード例 #4

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

コード例 #5

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

コード例 #6

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #7

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

コード例 #8

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

コード例 #9

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

コード例 #10

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #11

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

コード例 #12

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #13

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #14

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #15

ファイル: MonaPos.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #16

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

コード例 #17

ファイル: MonaPos.cs プロジェクト: AutomataTutor/automatatutor-backend

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

コード例 #18

ファイル: MonaFormula.cs プロジェクト: AutomataTutor/automatatutor-backend

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