| /dports/java/bouncycastle15/crypto-169/core/src/test/java/org/bouncycastle/asn1/test/ |
| H A D | IssuingDistributionPointUnitTest.java | 96 if (!isEquiv(onlySomeReasons, point.getOnlySomeReasons())) in checkValues()
101 if (!isEquiv(distributionPoint, point.getDistributionPoint())) in checkValues()
107 private boolean isEquiv(Object o1, Object o2) in isEquiv() method in IssuingDistributionPointUnitTest
|
| /dports/math/gismo/gismo-21.12.0/src/gsModeling/ |
| H A D | gsSolidHalfEdge.h | 79 bool isEquiv(HalfEdge* other, T tolFactor=1e-8) const
83 return source->isEquiv(other->source, tol) && target()->isEquiv(other->target(), tol);
|
| H A D | gsSolidHeVertex.h | 79 bool isEquiv(gsSolidHeVertexHandle other, T tol) const in isEquiv() function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/Cubical/ |
| H A D | Glue.agda | 20 -- We make this a record so that isEquiv can be proved using
23 record isEquiv {ℓ ℓ'} {A : Set ℓ} {B : Set ℓ'} (f : A → B) : Set (ℓ ⊔ ℓ') where
28 open isEquiv public
34 A ≃ B = Σ (A → B) \ f → (isEquiv f)
114 pathToisEquiv : isEquiv f
|
| /dports/java/jflex/jflex-1.8.1/src/main/java/jflex/core/ |
| H A D | Action.java | 117 public boolean isEquiv(Action a) { in isEquiv() method in Action
132 if (o instanceof Action) return isEquiv((Action) o); in equals()
|
| /dports/textproc/jade/jade-1.2.1/style/ |
| H A D | ELObj.h | 105 virtual bool isEquiv(ELObj &);
196 bool isEquiv(ELObj &);
212 bool isEquiv(ELObj &);
505 return &obj1 == &obj2 || obj1.isEquiv(obj2); in eqv()
|
| H A D | ELObj.cxx | 42 bool ELObj::isEquiv(ELObj &obj) in isEquiv() function in DSSSL_NAMESPACE::ELObj
322 bool PairObj::isEquiv(ELObj &obj) in isEquiv() function in DSSSL_NAMESPACE::PairObj
431 bool VectorObj::isEquiv(ELObj &) in isEquiv() function in DSSSL_NAMESPACE::VectorObj
|
| /dports/textproc/openjade/openjade-1.3.3-pre1/style/ |
| H A D | ELObj.h | 109 virtual bool isEquiv(ELObj &);
202 bool isEquiv(ELObj &);
218 bool isEquiv(ELObj &);
511 return &obj1 == &obj2 || obj1.isEquiv(obj2); in eqv()
|
| H A D | ELObj.cxx | 42 bool ELObj::isEquiv(ELObj &obj) in isEquiv() function in DSSSL_NAMESPACE::ELObj
342 bool PairObj::isEquiv(ELObj &obj) in isEquiv() function in DSSSL_NAMESPACE::PairObj
451 bool VectorObj::isEquiv(ELObj &) in isEquiv() function in DSSSL_NAMESPACE::VectorObj
|
| /dports/java/jflex/jflex-1.8.1/src/main/java/jflex/dfa/ |
| H A D | DeprecatedDfa.java | 60 equiv[i][j] = action(i).isEquiv(action(j)); in old_minimize()
|
| /dports/math/eigen3/eigen-3.3.9/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/math/stanmath/math-4.2.0/lib/eigen_3.3.9/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/math/libmesh/libmesh-1.6.2/contrib/eigen/3.2.9/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/math/libsemigroups/libsemigroups-1.3.7/extern/eigen-3.3.7/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/misc/opennn/opennn-5.0.5/eigen/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/devel/taskflow/taskflow-3.2.0/3rd-party/eigen-3.3.7/bench/btl/generic_bench/ |
| H A D | btl.hh | 138 bool isEquiv(const BtlString& str) const in isEquiv() function in BtlString
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 410 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
451 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 413 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
454 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 410 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
451 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 413 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
454 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 413 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
454 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 413 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
454 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 410 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
451 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 413 } else if (isEquiv(t, b, boundKind)) { in visitUndetVar()
454 boolean isEquiv(UndetVar from, Type t, InferenceBound boundKind) { in isEquiv() method in InferenceContext.ReachabilityVisitor
|
| /dports/science/jmol/jmol-14.32.7/src/org/jmol/util/ |
| H A D | Tensor.java | 693 public boolean isEquiv(Tensor t) { in isEquiv() method in Tensor
|