C# (CSharp) AxiomProfiler.QuantifierModel CongruenceExplanation Exemples

Exemple #1

Fichier : Instantiation.cs Projet : viperproject/axiom-profiler

 public override IEnumerable <Term> Congruence(CongruenceExplanation target, object arg)
 {
     return(target.sourceArgumentEqualities.SelectMany(ee => visit(ee, arg)));
 }

Exemple #2

 public abstract R Congruence(CongruenceExplanation target, A arg);