Home
last modified time | relevance | path

Searched defs:FORALL (Results 1 – 25 of 30) sorted by relevance

12

/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/proper/
H A Dproper_common.hrl30 -define(FORALL(X,RawType,Prop), proper:forall(RawType,fun(X) -> Prop end)). macro
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/behaviour_SUITE_data/src/proper/
H A Dproper_common.hrl30 -define(FORALL(X,RawType,Prop), proper:forall(RawType,fun(X) -> Prop end)). macro
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DConnective.hpp55 FORALL = 7u, enumerator
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/PRM/elements/
H A DPRMAggregate.h85 FORALL, enumerator
/dports/science/gtamsanalyzer/GTAMSAnalyzer.src.0.42/Source/
H A Dutils.h13 #define FORALL(X) {id temp; unsigned __cnt, __i; __cnt = [X count]; for( __i = 0; __i < __cnt; __i… macro
/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/include/
H A Dproper_common.hrl34 -define(FORALL(X,RawType,Prop), proper:forall(RawType, fun(X) -> Prop end)). macro
/dports/misc/lifelines/lifelines-3.1.1/src/hdrs/
H A Dsequence.h73 #define FORALL(i,e,s)\ macro
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java102 FORALL, enumConstant
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java102 FORALL, enumConstant
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DTypeTag.java106 FORALL, enumConstant
/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/
H A Dqcsp.hh67 #define FORALL 1 macro
/dports/math/vampire/vampire-4.5.1/Shell/
H A DSMTPAR.hpp127 FORALL, enumerator
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dkinds.h84 FORALL, enumerator
/dports/math/vampire/vampire-4.5.1/Api/
H A DFormulaBuilder.hpp135 FORALL, enumerator
/dports/sysutils/plasma5-ksysguard/ksysguard-5.22.0/ksysguardd/Linux/
H A Dnetdev.c89 #define FORALL( a ) \ macro
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cppkind.h2223 FORALL, enumerator
/dports/security/cryptlib/cryptlib-3.4.3/
H A Dcryptkrn.h56 #define FORALL( iter, start, end, condition ) \ macro
81 #define FORALL( a, b, c, d ) macro
/dports/www/firefox-legacy/firefox-52.8.0esr/parser/html/javasrc/
H A DElementName.java622 public static final ElementName FORALL = new ElementName("forall", "forall", TreeBuilder.OTHER); field in ElementName

12