Esempi in C# (CSharp) per ModelChecker RegularFormula.Clone

Esempio n. 1

 public override RegularFormula Clone()
 {
     return(new UnionFormula(Left.Clone(), Right.Clone()));
 }

Esempio n. 2

 public override RegularFormula Clone()
 {
     return(new SequenceFormula(First.Clone(), Sequence.Clone()));
 }