Exemplos de AxiomProfiler.QuantifierModel RecursiveReferenceEqualityExplanation em C# (CSharp)

Exemplo n.º 1

Arquivo: Instantiation.cs Projeto: viperproject/axiom-profiler

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

Exemplo n.º 2

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