Home
last modified time | relevance | path

Searched refs:EqualityPair (Results 1 – 6 of 6) sorted by relevance

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/
H A DEqualityPair.cs32 struct EqualityPair<TFunc, TAbstractDomain> : IEquatable<EqualityPair<TFunc, TAbstractDomain>> struct
39 public EqualityPair (SymValue v1, SymValue v2) in EqualityPair() argument
45 #region Implementation of IEquatable<SymGraph<Constant,AbstractValue>.EqualityPair>
46 public bool Equals (EqualityPair<TFunc, TAbstractDomain> other) in Equals() argument
54 if (obj is EqualityPair<TFunc, TAbstractDomain>) in Equals()
55 return Equals ((EqualityPair<TFunc, TAbstractDomain>) obj); in Equals()
H A DSymGraph.cs346 var workList = new WorkList<EqualityPair<TFunc, TADomain>> (); in AssumeEqual()
621 …private bool TryPushEquality (WorkList<EqualityPair<TFunc, TADomain>> workList, SymValue sv1, SymV… in TryPushEquality()
624 workList.Add (new EqualityPair<TFunc, TADomain> (sv1, sv2)); in TryPushEquality()
631 private void DrainEqualityWorkList (WorkList<EqualityPair<TFunc, TADomain>> workList) in DrainEqualityWorkList()
634 EqualityPair<TFunc, TADomain> equalityPair = workList.Pull (); in DrainEqualityWorkList()
719 var workList = new WorkList<EqualityPair<TFunc, TADomain>> (); in InternalLessEqual()
720 workList.Add (new EqualityPair<TFunc, TADomain> (thisG.const_root, thatG.const_root)); in InternalLessEqual()
727 EqualityPair<TFunc, TADomain> equalityPair = workList.Pull (); in InternalLessEqual()
774 workList.Add (new EqualityPair<TFunc, TADomain> (v1, v2)); in InternalLessEqual()
798 workList.Add (new EqualityPair<TFunc, TADomain> (v1, sv)); in InternalLessEqual()
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dequality_engine.cpp500 d_deducedDisequalityReasons.push_back(EqualityPair(aSharedId, a)); in assertEquality()
501 d_deducedDisequalityReasons.push_back(EqualityPair(bSharedId, b)); in assertEquality()
502 d_deducedDisequalityReasons.push_back(EqualityPair(eqId, d_falseId)); in assertEquality()
886 EqualityPair pair = d_deducedDisequalities[i]; in backtrack()
953 EqualityPair pair(t1Id, t2Id); in explainEquality()
959 EqualityPair toExplain = d_deducedDisequalityReasons[i]; in explainEquality()
1922 EqualityPair eq(lhsId, rhsId); in hasPropagatedDisequality()
1934 EqualityPair eq(lhsId, rhsId); in hasPropagatedDisequality()
1956 EqualityPair pair1(lhsId, rhsId); in storePropagatedDisequality()
1957 EqualityPair pair2(rhsId, lhsId); in storePropagatedDisequality()
[all …]
H A Dequality_engine.h629 …typedef std::unordered_map<EqualityPair, DisequalityReasonRef, EqualityPairHashFunction> Disequali…
639 std::vector<EqualityPair> d_deducedDisequalities;
649 std::vector<EqualityPair> d_deducedDisequalityReasons;
659 …typedef context::CDHashMap<EqualityPair, Theory::Set, EqualityPairHashFunction> PropagatedDisequal…
H A Dequality_engine_types.h271 typedef std::pair<EqualityNodeId, EqualityNodeId> EqualityPair; typedef
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/
H A DMono.CodeContracts.dll.sources89 Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/EqualityPair.cs