C# (CSharp) AxiomProfiler.QuantifierModel RecursiveReferenceEqualityExplanation示例

示例#1

文件： Instantiation.cs 项目： viperproject/axiom-profiler

 public override IEnumerable <Term> RecursiveReference(RecursiveReferenceEqualityExplanation target, object arg)
 {
     return(Enumerable.Empty <Term>());
 }

示例#2

 public abstract R RecursiveReference(RecursiveReferenceEqualityExplanation target, A arg);