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()));
 }