| /dports/security/py-angr/angr-9.0.5405/angr/analyses/typehoon/ |
| H A D | typeconsts.py | 8 class TypeConstant: class
28 class TopType(TypeConstant):
34 class BottomType(TypeConstant):
40 class Int(TypeConstant):
89 class Pointer(TypeConstant):
125 class Array(TypeConstant):
127 self.element: TypeConstant = element
143 class Struct(TypeConstant):
162 class TypeVariableReference(TypeConstant):
|
| H A D | simple_solver.py | 8 from .typeconsts import (BottomType, TopType, TypeConstant, Int, Int8, Int16, Int32, Int64, Pointer…
286 if isinstance(v, TypeConstant):
291 if isinstance(v, TypeConstant):
301 if isinstance(typevar, TypeConstant):
311 if isinstance(typevar, TypeConstant):
|
| H A D | typehoon.py | 6 from .typeconsts import Struct, Pointer, TypeConstant, Array, Int8
111 field0: TypeConstant = tc.fields[offset0]
|
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | type_properties_template.h | 45 inline Cardinality getCardinality(TypeConstant tc) { in getCardinality()
67 return getCardinality(typeNode.getConst<TypeConstant>()); in getCardinality()
80 inline bool isWellFounded(TypeConstant tc) { in isWellFounded()
96 return isWellFounded(typeNode.getConst<TypeConstant>()); in isWellFounded()
109 inline Node mkGroundTerm(TypeConstant tc) { in mkGroundTerm()
125 return mkGroundTerm(typeNode.getConst<TypeConstant>()); in mkGroundTerm()
|
| H A D | kind_template.h | 67 enum CVC4_PUBLIC TypeConstant { enum
77 inline size_t operator()(TypeConstant tc) const { in operator()
82 std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant);
101 TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant) CVC4_PUBLIC;
|
| H A D | kind.i | 6 %ignore CVC4::operator<<(std::ostream&, TypeConstant);
12 %rename(apply) CVC4::TypeConstantHashFunction::operator()(TypeConstant) const;
|
| H A D | kind_template.cpp | 64 std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant) { in operator <<()
101 TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant) { in typeConstantToTheoryId()
|
| H A D | type_node.h | 855 ( getKind() == kind::TYPE_CONSTANT && getConst<TypeConstant>() == BOOLEAN_TYPE ); in isBoolean()
860 ( getKind() == kind::TYPE_CONSTANT && getConst<TypeConstant>() == INTEGER_TYPE ); in isInteger()
865 ( getKind() == kind::TYPE_CONSTANT && getConst<TypeConstant>() == REAL_TYPE ) || in isReal()
871 getConst<TypeConstant>() == STRING_TYPE; in isString()
877 getConst<TypeConstant>() == REGEXP_TYPE; in isRegExp()
882 getConst<TypeConstant>() == ROUNDINGMODE_TYPE; in isRoundingMode()
|
| H A D | node_manager.h | 1022 return TypeNode(mkTypeConst<TypeConstant>(BOOLEAN_TYPE)); in booleanType()
1027 return TypeNode(mkTypeConst<TypeConstant>(INTEGER_TYPE)); in integerType()
1032 return TypeNode(mkTypeConst<TypeConstant>(REAL_TYPE)); in realType()
1037 return TypeNode(mkTypeConst<TypeConstant>(STRING_TYPE)); in stringType()
1042 return TypeNode(mkTypeConst<TypeConstant>(REGEXP_TYPE)); in regExpType()
1047 return TypeNode(mkTypeConst<TypeConstant>(ROUNDINGMODE_TYPE)); in roundingModeType()
1052 return TypeNode(mkTypeConst<TypeConstant>(BOUND_VAR_LIST_TYPE)); in boundVarListType()
1057 return TypeNode(mkTypeConst<TypeConstant>(INST_PATTERN_TYPE)); in instPatternType()
1062 return TypeNode(mkTypeConst<TypeConstant>(INST_PATTERN_LIST_TYPE)); in instPatternListType()
1067 return TypeNode(mkTypeConst<TypeConstant>(BUILTIN_OPERATOR_TYPE)); in builtinOperatorType()
|
| H A D | type_node.cpp | 231 getConst<TypeConstant>() != REGEXP_TYPE ); in isFirstClass()
247 switch(getConst<TypeConstant>()) { in isSubtypeOf()
249 return t.getKind() == kind::TYPE_CONSTANT && t.getConst<TypeConstant>() == REAL_TYPE; in isSubtypeOf()
407 switch(t0.getConst<TypeConstant>()) { in commonTypeNode()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Mapping/ViewGeneration/Structures/ |
| H A D | TypeRestriction.cs | 44 Debug.Assert(value is TypeConstant || value.IsNull(), "Type or NULL expected."); in TypeRestriction()
92 TypeConstant typeConstant = constant as TypeConstant; in AsEsql()
144 … cqt = cqt.IsOfOnly(TypeUsage.Create(((TypeConstant)this.Domain.Values.Single()).EdmType)); in AsCqt()
149 …main.Values.Select(t => (DbExpression)cqt.IsOfOnly(TypeUsage.Create(((TypeConstant)t).EdmType))).T… in AsCqt()
184 TypeConstant typeConstant = constant as TypeConstant; in AsUserString()
224 yield return new TypeConstant(type); in CreateTypeConstants()
|
| H A D | TypeConstant.cs | 27 internal sealed class TypeConstant : Constant class
33 internal TypeConstant(EdmType type) in TypeConstant() method in System.Data.Mapping.ViewGeneration.Structures.TypeConstant
80 TypeConstant rightTypeConstant = right as TypeConstant; in IsEqualTo()
|
| H A D | CaseStatement.cs | 160 TypeConstant typeConstant = constantSlot.CellConstant as TypeConstant; in TryGetInstantiatedType()
361 TypeConstant typeConstant = constantSlot.CellConstant as TypeConstant; in WithRelationshipsClauseAsCql()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | type_enumerator.h | 40 type.getConst<TypeConstant>() == REAL_TYPE);
81 type.getConst<TypeConstant>() == INTEGER_TYPE);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | theory_quantifiers_type_rules.h | 171 TypeNode(nodeManager->mkTypeConst<TypeConstant>(RRHB_TYPE))){ in computeType()
198 return TypeNode(nodeManager->mkTypeConst<TypeConstant>(RRHB_TYPE)); in computeType()
223 return TypeNode(nodeManager->mkTypeConst<TypeConstant>(RRHB_TYPE)); in computeType()
|
| /dports/games/libretro-paralleln64/parallel-n64-6e26fbb/mupen64plus-video-paraLLEl/parallel-rdp/spirv-cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 34 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
379 case TypeConstant: in mark_used_as_array_length()
772 case TypeConstant: in add_typed_id()
864 add_typed_id(TypeConstant, id); in make_constant_null()
883 add_typed_id(TypeConstant, id); in make_constant_null()
897 add_typed_id(TypeConstant, id); in make_constant_null()
903 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/spirv-cross/spirv-cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 34 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
379 case TypeConstant: in mark_used_as_array_length()
772 case TypeConstant: in add_typed_id()
864 add_typed_id(TypeConstant, id); in make_constant_null()
883 add_typed_id(TypeConstant, id); in make_constant_null()
897 add_typed_id(TypeConstant, id); in make_constant_null()
903 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/spirv-cross-internal/src/vendor/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 34 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
379 case TypeConstant: in mark_used_as_array_length()
772 case TypeConstant: in add_typed_id()
864 add_typed_id(TypeConstant, id); in make_constant_null()
883 add_typed_id(TypeConstant, id); in make_constant_null()
897 add_typed_id(TypeConstant, id); in make_constant_null()
903 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/emulators/ppsspp-qt5/ppsspp-1.12.3/ext/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 41 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
513 case TypeConstant: in mark_used_as_array_length()
926 case TypeConstant: in add_typed_id()
1018 add_typed_id(TypeConstant, id); in make_constant_null()
1037 add_typed_id(TypeConstant, id); in make_constant_null()
1051 add_typed_id(TypeConstant, id); in make_constant_null()
1057 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/emulators/ppsspp/ppsspp-1.12.3/ext/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 41 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
513 case TypeConstant: in mark_used_as_array_length()
926 case TypeConstant: in add_typed_id()
1018 add_typed_id(TypeConstant, id); in make_constant_null()
1037 add_typed_id(TypeConstant, id); in make_constant_null()
1051 add_typed_id(TypeConstant, id); in make_constant_null()
1057 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/spirv-cross/spirv-cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 34 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
493 case TypeConstant: in mark_used_as_array_length()
886 case TypeConstant: in add_typed_id()
978 add_typed_id(TypeConstant, id); in make_constant_null()
997 add_typed_id(TypeConstant, id); in make_constant_null()
1011 add_typed_id(TypeConstant, id); in make_constant_null()
1017 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/emulators/libretro-ppsspp/ppsspp-1.12.3/ext/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 41 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
513 case TypeConstant: in mark_used_as_array_length()
926 case TypeConstant: in add_typed_id()
1018 add_typed_id(TypeConstant, id); in make_constant_null()
1037 add_typed_id(TypeConstant, id); in make_constant_null()
1051 add_typed_id(TypeConstant, id); in make_constant_null()
1057 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/spirv-cross-internal/src/vendor/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 41 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
513 case TypeConstant: in mark_used_as_array_length()
926 case TypeConstant: in add_typed_id()
1018 add_typed_id(TypeConstant, id); in make_constant_null()
1037 add_typed_id(TypeConstant, id); in make_constant_null()
1051 add_typed_id(TypeConstant, id); in make_constant_null()
1057 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/www/firefox-esr/firefox-91.8.0/third_party/rust/spirv-cross-internal/src/vendor/SPIRV-Cross/ |
| H A D | spirv_cross_parsed_ir.cpp | 41 pool_group->pools[TypeConstant].reset(new ObjectPool<SPIRConstant>); in ParsedIR()
513 case TypeConstant: in mark_used_as_array_length()
926 case TypeConstant: in add_typed_id()
1018 add_typed_id(TypeConstant, id); in make_constant_null()
1037 add_typed_id(TypeConstant, id); in make_constant_null()
1051 add_typed_id(TypeConstant, id); in make_constant_null()
1057 add_typed_id(TypeConstant, id); in make_constant_null()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | type_enumerator_template.cpp | 37 switch(type.getConst<TypeConstant>()) { in mkTypeEnumerator()
|