Esempi in C# (CSharp) per AxiomProfiler.QuantifierModel TheoryEqualityExplanation

Esempio n. 1

File: Instantiation.cs Progetto: viperproject/axiom-profiler

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

Esempio n. 2

 public abstract R Theory(TheoryEqualityExplanation target, A arg);