/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/proper/ |
H A D | proper_common.hrl | 30 -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 D | proper_common.hrl | 30 -define(FORALL(X,RawType,Prop), proper:forall(RawType,fun(X) -> Prop end)). macro
|
/dports/math/vampire/vampire-4.5.1/Kernel/ |
H A D | Connective.hpp | 55 FORALL = 7u, enumerator
|
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/PRM/elements/ |
H A D | PRMAggregate.h | 85 FORALL, enumerator
|
/dports/science/gtamsanalyzer/GTAMSAnalyzer.src.0.42/Source/ |
H A D | utils.h | 13 #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 D | proper_common.hrl | 34 -define(FORALL(X,RawType,Prop), proper:forall(RawType, fun(X) -> Prop end)). macro
|
/dports/misc/lifelines/lifelines-3.1.1/src/hdrs/ |
H A D | sequence.h | 73 #define FORALL(i,e,s)\ macro
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 102 FORALL, enumConstant
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 102 FORALL, enumConstant
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 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 D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 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 D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/ |
H A D | TypeTag.java | 106 FORALL, enumConstant
|
/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/ |
H A D | qcsp.hh | 67 #define FORALL 1 macro
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | SMTPAR.hpp | 127 FORALL, enumerator
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | kinds.h | 84 FORALL, enumerator
|
/dports/math/vampire/vampire-4.5.1/Api/ |
H A D | FormulaBuilder.hpp | 135 FORALL, enumerator
|
/dports/sysutils/plasma5-ksysguard/ksysguard-5.22.0/ksysguardd/Linux/ |
H A D | netdev.c | 89 #define FORALL( a ) \ macro
|
/dports/math/cvc4/CVC4-1.7/src/api/ |
H A D | cvc4cppkind.h | 2223 FORALL, enumerator
|
/dports/security/cryptlib/cryptlib-3.4.3/ |
H A D | cryptkrn.h | 56 #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 D | ElementName.java | 622 public static final ElementName FORALL = new ElementName("forall", "forall", TreeBuilder.OTHER); field in ElementName
|