C# (CSharp) ModelChecker RegularFormula.Clone Beispiele

Beispiel #1

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

Beispiel #2

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