C# (CSharp) ModelChecker RegularFormula.Clone 예제들

예제 #1

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

예제 #2

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