Ejemplo n.º 1
0
 public CTLFormula(CTLExpressionType type, CTLFormula left, CTLFormula right)
 {
     Type         = type;
     LeftFormula  = left;
     RightFormula = right;
 }
Ejemplo n.º 2
0
 public CTLFormula(CTLExpressionType type, string lexeme)
 {
     Type   = type;
     Lexeme = lexeme;
 }
Ejemplo n.º 3
0
 public CTLFormula(CTLExpressionType type, CTLFormula left)
 {
     Type        = type;
     LeftFormula = left;
 }
Ejemplo n.º 4
0
 public CTLFormula(CTLExpressionType type)
 {
     Type = type;
 }