Пример #1
0
 public Until(TlaExpr left, TlaExpr right) : base(left, right)
 {
 }
Пример #2
0
 public BinaryExpression(TlaExpr left, TlaExpr right)
 {
     this.Left  = left;
     this.Right = right;
 }
Пример #3
0
 public Globally(TlaExpr proposition) : base(proposition)
 {
 }
Пример #4
0
 public Release(TlaExpr left, TlaExpr right) : base(left, right)
 {
 }
Пример #5
0
 public Future(TlaExpr proposition) : base(proposition)
 {
 }
Пример #6
0
 public Next(TlaExpr proposition) : base(proposition)
 {
 }
Пример #7
0
 public And(TlaExpr left, TlaExpr right) : base(left, right)
 {
 }
Пример #8
0
 public Impl(TlaExpr left, TlaExpr right) : base(left, right)
 {
 }
Пример #9
0
 public Or(TlaExpr left, TlaExpr right) : base(left, right)
 {
 }
Пример #10
0
 public UnaryExpression(TlaExpr child)
 {
     this.Child = child;
 }
Пример #11
0
 public TlaExprFormula(TlaExpr expr)
 {
     this.Expression = expr;
 }