/dports/lang/v8/v8-9.6.180.12/src/codegen/ |
H A D | code-stub-assembler.h | 620 TNode<IntPtrT> TryIntPtrAdd(TNode<IntPtrT> a, TNode<IntPtrT> b, 622 TNode<IntPtrT> TryIntPtrSub(TNode<IntPtrT> a, TNode<IntPtrT> b, 624 TNode<Int32T> TryInt32Mul(TNode<Int32T> a, TNode<Int32T> b, 701 TNode<Smi> SmiMax(TNode<Smi> a, TNode<Smi> b); 702 TNode<Smi> SmiMin(TNode<Smi> a, TNode<Smi> b); 704 TNode<Number> SmiMod(TNode<Smi> a, TNode<Smi> b); 706 TNode<Number> SmiMul(TNode<Smi> a, TNode<Smi> b); 746 TNode<Number> NumberAdd(TNode<Number> a, TNode<Number> b); 747 TNode<Number> NumberSub(TNode<Number> a, TNode<Number> b); 3484 TNode<Oddball> Equal(TNode<Object> lhs, TNode<Object> rhs, [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/codegen/ |
H A D | code-stub-assembler.h | 599 TNode<IntPtrT> TryIntPtrAdd(TNode<IntPtrT> a, TNode<IntPtrT> b, 601 TNode<IntPtrT> TryIntPtrSub(TNode<IntPtrT> a, TNode<IntPtrT> b, 603 TNode<Int32T> TryInt32Mul(TNode<Int32T> a, TNode<Int32T> b, 680 TNode<Smi> SmiMax(TNode<Smi> a, TNode<Smi> b); 681 TNode<Smi> SmiMin(TNode<Smi> a, TNode<Smi> b); 683 TNode<Number> SmiMod(TNode<Smi> a, TNode<Smi> b); 685 TNode<Number> SmiMul(TNode<Smi> a, TNode<Smi> b); 695 TNode<Smi> SmiLexicographicCompare(TNode<Smi> x, TNode<Smi> y); 699 TNode<BoolT> BIntOpName(TNode<BInt> a, TNode<BInt> b) { \ 725 TNode<Number> NumberAdd(TNode<Number> a, TNode<Number> b); [all …]
|
/dports/lang/v8/v8-9.6.180.12/src/interpreter/ |
H A D | interpreter-assembler.h | 82 TNode<Context> GetContextAtDepth(TNode<Context> context, 107 TNode<FixedArray> ImportRegisterFile(TNode<FixedArray> array, 139 TNode<Object> LoadConstantPoolEntry(TNode<WordT> index); 175 TNode<Object> Construct(TNode<Object> target, TNode<Context> context, 184 TNode<Object> ConstructWithSpread(TNode<Object> target, 193 TNode<T> CallRuntimeN(TNode<Uint32T> function_id, TNode<Context> context, 259 TNode<WordT> LoadBytecode(TNode<IntPtrT> bytecode_offset); 279 TNode<IntPtrT> RegisterLocation(TNode<IntPtrT> reg_index); 280 TNode<IntPtrT> NextRegister(TNode<IntPtrT> reg_index); 281 TNode<Object> LoadRegister(TNode<IntPtrT> reg_index); [all …]
|
/dports/www/node10/node-v10.24.1/deps/v8/src/builtins/ |
H A D | builtins-typed-array-gen.h | 18 TNode<JSTypedArray> SpeciesCreateByLength(TNode<Context> context, 55 TNode<Map> map, TNode<Smi> length, 62 TNode<Map> LoadMapForType(TNode<JSTypedArray> array); 66 TNode<BoolT> ByteLengthIsValid(TNode<Number> byte_length); 69 TNode<Word32T> IsUint8ElementsKind(TNode<Word32T> kind); 72 TNode<Word32T> IsBigInt64ElementsKind(TNode<Word32T> kind); 102 TNode<JSTypedArray> CreateByLength(TNode<Context> context, 106 TNode<JSArrayBuffer> GetBuffer(TNode<Context> context, 127 TNode<Context> context, TNode<JSArray> source, TNode<JSTypedArray> dest, 128 TNode<IntPtrT> source_length, TNode<IntPtrT> offset); [all …]
|
/dports/lang/v8/v8-9.6.180.12/src/builtins/ |
H A D | builtins-string-gen.h | 19 TNode<String> GetSubstitution(TNode<Context> context, 33 TNode<Int32T> LoadSurrogatePairAt(TNode<String> string, TNode<IntPtrT> length, 43 TNode<String> SubString(TNode<String> string, TNode<IntPtrT> from, 45 TNode<String> SubString(TNode<String> string, TNode<UintPtrT> from, in SubString() 93 TNode<RawPtrT> DirectStringData(TNode<String> string, 108 TNode<String> receiver, TNode<IntPtrT> length, TNode<IntPtrT> index)>; 113 TNode<JSArray> StringToArray(TNode<NativeContext> context, 118 TNode<BoolT> SmiIsNegative(TNode<Smi> value) { in SmiIsNegative() 122 TNode<String> AllocateConsString(TNode<Uint32T> length, TNode<String> left, 150 TNode<String> DerefIndirectString(TNode<String> string, [all …]
|
H A D | builtins-regexp-gen.h | 31 TNode<Context> context, TNode<Smi> length, TNode<Smi> index, 32 TNode<String> input, TNode<JSRegExp> regexp, TNode<Number> last_index, 39 TNode<Object> SlowLoadLastIndex(TNode<Context> context, TNode<Object> regexp); 56 TNode<Context> context, TNode<JSRegExp> regexp, TNode<String> string, 96 TNode<Context> context, TNode<HeapObject> object, TNode<Map> map, 131 TNode<String> FlagsGetter(TNode<Context> context, TNode<Object> regexp, 141 TNode<BoolT> SlowFlagGetter(TNode<Context> context, TNode<Object> regexp, 143 TNode<BoolT> FlagGetter(TNode<Context> context, TNode<Object> regexp, 151 TNode<Number> AdvanceStringIndex(TNode<String> string, TNode<Number> index, 154 TNode<Smi> AdvanceStringIndexFast(TNode<String> string, TNode<Smi> index, in AdvanceStringIndexFast() [all …]
|
H A D | builtins-typed-array-gen.h | 21 TNode<Map> map, TNode<Smi> length, 27 TNode<Map> LoadMapForType(TNode<JSTypedArray> array); 33 TNode<BoolT> IsUint8ElementsKind(TNode<Int32T> kind); 36 TNode<BoolT> IsBigInt64ElementsKind(TNode<Int32T> kind); 45 TNode<JSFunction> GetDefaultConstructor(TNode<Context> context, 48 TNode<JSTypedArray> ValidateTypedArray(TNode<Context> context, 68 void CallCMemset(TNode<RawPtrT> dest_ptr, TNode<IntPtrT> value, 72 TNode<Context> context, TNode<JSArray> source, TNode<JSTypedArray> dest, 73 TNode<UintPtrT> source_length, TNode<UintPtrT> offset); 109 TNode<Context> context, TNode<JSTypedArray> typed_array, [all …]
|
H A D | builtins-array-gen.h | 21 ArrayBuiltinsAssembler* masm, TNode<Object> k_value, TNode<UintPtrT> k)>; 26 TNode<Object> TypedArrayMapProcessor(TNode<Object> k_value, 30 TNode<FixedArray> fixed_array, TNode<IntPtrT> length, TNode<String> sep, in CallJSArrayArrayJoinConcatToSequentialString() 76 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 81 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 86 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 92 TNode<Map> array_map, TNode<Object> array_size, 100 TNode<Context> context, TNode<JSFunction> target, 101 TNode<Object> new_target, TNode<Int32T> argc, 111 TNode<JSReceiver> o_; [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/builtins/ |
H A D | builtins-regexp-gen.h | 23 TNode<RawPtrT> LoadCodeObjectEntry(TNode<Code> code); 29 TNode<Context> context, TNode<Smi> length, TNode<Smi> index, 30 TNode<String> input, TNode<JSRegExp> regexp, TNode<Number> last_index, 37 TNode<Object> SlowLoadLastIndex(TNode<Context> context, TNode<Object> regexp); 95 TNode<Context> context, TNode<HeapObject> object, TNode<Map> map, 122 TNode<String> FlagsGetter(TNode<Context> context, TNode<Object> regexp, 132 TNode<BoolT> SlowFlagGetter(TNode<Context> context, TNode<Object> regexp, 134 TNode<BoolT> FlagGetter(TNode<Context> context, TNode<Object> regexp, 142 TNode<Number> AdvanceStringIndex(TNode<String> string, TNode<Number> index, 145 TNode<Smi> AdvanceStringIndexFast(TNode<String> string, TNode<Smi> index, in AdvanceStringIndexFast() [all …]
|
H A D | builtins-string-gen.h | 19 TNode<String> GetSubstitution(TNode<Context> context, 33 TNode<Int32T> LoadSurrogatePairAt(TNode<String> string, TNode<IntPtrT> length, 43 TNode<String> SubString(TNode<String> string, TNode<IntPtrT> from, 45 TNode<String> SubString(TNode<String> string, TNode<UintPtrT> from, in SubString() 70 TNode<IntPtrT> DirectStringData(TNode<String> string, 94 TNode<String> receiver, TNode<IntPtrT> length, TNode<IntPtrT> index)>; 104 TNode<JSArray> StringToArray(TNode<NativeContext> context, 109 TNode<BoolT> SmiIsNegative(TNode<Smi> value) { in SmiIsNegative() 113 TNode<String> AllocateConsString(TNode<Uint32T> length, TNode<String> left, 141 TNode<String> DerefIndirectString(TNode<String> string, [all …]
|
H A D | builtins-typed-array-gen.h | 26 TNode<Map> map, TNode<Smi> length, 32 TNode<Map> LoadMapForType(TNode<JSTypedArray> array); 38 TNode<BoolT> IsUint8ElementsKind(TNode<Int32T> kind); 41 TNode<BoolT> IsBigInt64ElementsKind(TNode<Int32T> kind); 50 TNode<JSFunction> GetDefaultConstructor(TNode<Context> context, 53 TNode<JSArrayBuffer> GetBuffer(TNode<Context> context, 56 TNode<JSTypedArray> ValidateTypedArray(TNode<Context> context, 63 void CallCMemcpy(TNode<RawPtrT> dest_ptr, TNode<RawPtrT> src_ptr, 66 void CallCMemset(TNode<RawPtrT> dest_ptr, TNode<IntPtrT> value, 70 TNode<Context> context, TNode<JSArray> source, TNode<JSTypedArray> dest, [all …]
|
H A D | builtins-array-gen.h | 21 ArrayBuiltinsAssembler* masm, TNode<Object> k_value, TNode<UintPtrT> k)>; 26 TNode<Object> TypedArrayMapProcessor(TNode<Object> k_value, 30 TNode<FixedArray> fixed_array, TNode<IntPtrT> length, TNode<String> sep, in CallJSArrayArrayJoinConcatToSequentialString() 81 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 86 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 92 TNode<Map> array_map, TNode<Object> array_size, 100 TNode<Context> context, TNode<JSFunction> target, 101 TNode<Object> new_target, TNode<Int32T> argc, 111 TNode<JSReceiver> o_; 113 TNode<UintPtrT> len_; [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/builtins/ |
H A D | builtins-regexp-gen.h | 23 TNode<RawPtrT> LoadCodeObjectEntry(TNode<Code> code); 29 TNode<Context> context, TNode<Smi> length, TNode<Smi> index, 30 TNode<String> input, TNode<JSRegExp> regexp, TNode<Number> last_index, 37 TNode<Object> SlowLoadLastIndex(TNode<Context> context, TNode<Object> regexp); 95 TNode<Context> context, TNode<HeapObject> object, TNode<Map> map, 122 TNode<String> FlagsGetter(TNode<Context> context, TNode<Object> regexp, 132 TNode<BoolT> SlowFlagGetter(TNode<Context> context, TNode<Object> regexp, 134 TNode<BoolT> FlagGetter(TNode<Context> context, TNode<Object> regexp, 142 TNode<Number> AdvanceStringIndex(TNode<String> string, TNode<Number> index, 145 TNode<Smi> AdvanceStringIndexFast(TNode<String> string, TNode<Smi> index, in AdvanceStringIndexFast() [all …]
|
H A D | builtins-string-gen.h | 19 TNode<String> GetSubstitution(TNode<Context> context, 33 TNode<Int32T> LoadSurrogatePairAt(TNode<String> string, TNode<IntPtrT> length, 43 TNode<String> SubString(TNode<String> string, TNode<IntPtrT> from, 45 TNode<String> SubString(TNode<String> string, TNode<UintPtrT> from, in SubString() 70 TNode<RawPtrT> DirectStringData(TNode<String> string, 94 TNode<String> receiver, TNode<IntPtrT> length, TNode<IntPtrT> index)>; 104 TNode<JSArray> StringToArray(TNode<NativeContext> context, 109 TNode<BoolT> SmiIsNegative(TNode<Smi> value) { in SmiIsNegative() 113 TNode<String> AllocateConsString(TNode<Uint32T> length, TNode<String> left, 141 TNode<String> DerefIndirectString(TNode<String> string, [all …]
|
H A D | builtins-typed-array-gen.h | 21 TNode<Map> map, TNode<Smi> length, 24 TNode<JSArrayBuffer> AllocateEmptyOnHeapBuffer(TNode<Context> context, 27 TNode<Map> LoadMapForType(TNode<JSTypedArray> array); 33 TNode<BoolT> IsUint8ElementsKind(TNode<Int32T> kind); 36 TNode<BoolT> IsBigInt64ElementsKind(TNode<Int32T> kind); 45 TNode<JSFunction> GetDefaultConstructor(TNode<Context> context, 48 TNode<JSTypedArray> ValidateTypedArray(TNode<Context> context, 55 void CallCMemcpy(TNode<RawPtrT> dest_ptr, TNode<RawPtrT> src_ptr, 58 void CallCMemset(TNode<RawPtrT> dest_ptr, TNode<IntPtrT> value, 62 TNode<Context> context, TNode<JSArray> source, TNode<JSTypedArray> dest, [all …]
|
H A D | builtins-array-gen.h | 21 ArrayBuiltinsAssembler* masm, TNode<Object> k_value, TNode<UintPtrT> k)>; 26 TNode<Object> TypedArrayMapProcessor(TNode<Object> k_value, 30 TNode<FixedArray> fixed_array, TNode<IntPtrT> length, TNode<String> sep, in CallJSArrayArrayJoinConcatToSequentialString() 76 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 81 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 86 TNode<Context> context, TNode<JSFunction> target, TNode<Int32T> argc, 92 TNode<Map> array_map, TNode<Object> array_size, 100 TNode<Context> context, TNode<JSFunction> target, 101 TNode<Object> new_target, TNode<Int32T> argc, 111 TNode<JSReceiver> o_; [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/interpreter/ |
H A D | interpreter-assembler.h | 82 TNode<Context> GetContextAtDepth(TNode<Context> context, 112 TNode<FixedArray> ImportRegisterFile(TNode<FixedArray> array, 144 TNode<Object> LoadConstantPoolEntry(TNode<WordT> index); 180 TNode<Object> Construct(TNode<Object> target, TNode<Context> context, 189 TNode<Object> ConstructWithSpread(TNode<Object> target, 198 TNode<T> CallRuntimeN(TNode<Uint32T> function_id, TNode<Context> context, 273 TNode<IntPtrT> RegisterLocation(TNode<IntPtrT> reg_index); 274 TNode<IntPtrT> NextRegister(TNode<IntPtrT> reg_index); 275 TNode<Object> LoadRegister(TNode<IntPtrT> reg_index); 295 TNode<IntPtrT> RegisterFrameOffset(TNode<IntPtrT> index); [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/interpreter/ |
H A D | interpreter-assembler.h | 80 TNode<Context> GetContextAtDepth(TNode<Context> context, 110 TNode<FixedArray> ImportRegisterFile(TNode<FixedArray> array, 142 TNode<Object> LoadConstantPoolEntry(TNode<WordT> index); 178 TNode<Object> Construct(TNode<Object> target, TNode<Context> context, 187 TNode<Object> ConstructWithSpread(TNode<Object> target, 209 void JumpIfTaggedEqual(TNode<Object> lhs, TNode<Object> rhs, 273 TNode<IntPtrT> RegisterLocation(TNode<IntPtrT> reg_index); 274 TNode<IntPtrT> NextRegister(TNode<IntPtrT> reg_index); 275 TNode<Object> LoadRegister(TNode<IntPtrT> reg_index); 295 TNode<IntPtrT> RegisterFrameOffset(TNode<IntPtrT> index); [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/codegen/ |
H A D | code-stub-assembler.h | 711 TNode<IntPtrT> TryIntPtrAdd(TNode<IntPtrT> a, TNode<IntPtrT> b, 713 TNode<IntPtrT> TryIntPtrSub(TNode<IntPtrT> a, TNode<IntPtrT> b, 715 TNode<Int32T> TryInt32Mul(TNode<Int32T> a, TNode<Int32T> b, 808 TNode<Smi> SmiMax(TNode<Smi> a, TNode<Smi> b); 809 TNode<Smi> SmiMin(TNode<Smi> a, TNode<Smi> b); 811 TNode<Number> SmiMod(TNode<Smi> a, TNode<Smi> b); 813 TNode<Number> SmiMul(TNode<Smi> a, TNode<Smi> b); 823 TNode<Smi> SmiLexicographicCompare(TNode<Smi> x, TNode<Smi> y); 827 TNode<BoolT> BIntOpName(TNode<BInt> a, TNode<BInt> b) { \ 832 TNode<BoolT> BIntOpName(TNode<BInt> a, TNode<BInt> b) { \ [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/ic/ |
H A D | binary-op-assembler.h | 24 TNode<Context> context, TNode<Object> left, TNode<Object> right, 29 TNode<Context> context, TNode<Object> left, TNode<Object> right, 34 TNode<Context> context, TNode<Object> left, TNode<Object> right, 39 TNode<Context> context, TNode<Object> dividend, TNode<Object> divisor, 49 TNode<Context> context, TNode<Object> base, TNode<Object> exponent, 54 TNode<Context> context, TNode<Object> left, TNode<Object> right, in Generate_BitwiseOrWithFeedback() 65 TNode<Context> context, TNode<Object> left, TNode<Object> right, in Generate_BitwiseXorWithFeedback() 76 TNode<Context> context, TNode<Object> left, TNode<Object> right, in Generate_BitwiseAndWithFeedback() 87 TNode<Context> context, TNode<Object> left, TNode<Object> right, in Generate_ShiftLeftWithFeedback() 98 TNode<Context> context, TNode<Object> left, TNode<Object> right, in Generate_ShiftRightWithFeedback() [all …]
|
H A D | accessor-assembler.h | 64 TNode<IntPtrT> StubCachePrimaryOffsetForTesting(TNode<Name> name, in StubCachePrimaryOffsetForTesting() 68 TNode<IntPtrT> StubCacheSecondaryOffsetForTesting(TNode<Name> name, in StubCacheSecondaryOffsetForTesting() 75 TNode<Context> context, TNode<Object> receiver, TNode<Object> name, 76 TNode<TaggedIndex> slot, TNode<HeapObject> vector, 186 TNode<Object> name, TNode<Object> value, in StoreICParameters() 266 TNode<Object> LoadDescriptorValue(TNode<Map> map, 269 TNode<Map> map, TNode<IntPtrT> descriptor_entry); 346 TNode<IntPtrT> handler_kind, TNode<WordT> handler_word, 457 TNode<BoolT> IsPropertyDetailsConst(TNode<Uint32T> details); 465 TNode<IntPtrT> StubCachePrimaryOffset(TNode<Name> name, TNode<Map> map); [all …]
|
/dports/lang/v8/v8-9.6.180.12/src/ic/ |
H A D | accessor-assembler.h | 74 TNode<IntPtrT> StubCachePrimaryOffsetForTesting(TNode<Name> name, in StubCachePrimaryOffsetForTesting() 78 TNode<IntPtrT> StubCacheSecondaryOffsetForTesting(TNode<Name> name, in StubCacheSecondaryOffsetForTesting() 85 TNode<Context> context, TNode<Object> receiver, TNode<Object> name, 86 TNode<TaggedIndex> slot, TNode<HeapObject> vector, 196 TNode<Object> name, TNode<Object> value, in StoreICParameters() 256 TNode<BoolT> IsPropertyDetailsConst(TNode<Uint32T> details); 278 TNode<Object> LoadDescriptorValue(TNode<Map> map, 281 TNode<Map> map, TNode<IntPtrT> descriptor_entry); 376 TNode<IntPtrT> handler_kind, TNode<WordT> handler_word, 494 TNode<IntPtrT> StubCachePrimaryOffset(TNode<Name> name, TNode<Map> map); [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/ic/ |
H A D | binary-op-assembler.h | 24 TNode<Context> context, TNode<Object> left, TNode<Object> right, 25 TNode<UintPtrT> slot, TNode<HeapObject> maybe_feedback_vector, 29 TNode<Context> context, TNode<Object> left, TNode<Object> right, 30 TNode<UintPtrT> slot, TNode<HeapObject> maybe_feedback_vector, 34 TNode<Context> context, TNode<Object> left, TNode<Object> right, 39 TNode<Context> context, TNode<Object> dividend, TNode<Object> divisor, 44 TNode<Context> context, TNode<Object> dividend, TNode<Object> divisor, 49 TNode<Context> context, TNode<Object> base, TNode<Object> exponent, 72 std::function<TNode<Object>(TNode<Smi>, TNode<Smi>, TVariable<Smi>*)>; 74 std::function<TNode<Float64T>(TNode<Float64T>, TNode<Float64T>)>; [all …]
|
H A D | accessor-assembler.h | 62 TNode<IntPtrT> StubCachePrimaryOffsetForTesting(TNode<Name> name, in StubCachePrimaryOffsetForTesting() 66 TNode<IntPtrT> StubCacheSecondaryOffsetForTesting(TNode<Name> name, in StubCacheSecondaryOffsetForTesting() 74 TNode<TaggedIndex> slot, TNode<HeapObject> vector, 164 TNode<Object> name, TNode<Object> value, in StoreICParameters() 221 TNode<Object> LoadDescriptorValue(TNode<Map> map, 224 TNode<Map> map, TNode<IntPtrT> descriptor_entry); 245 TNode<MaybeObject> TryMonomorphicCase(TNode<TaggedIndex> slot, 300 TNode<IntPtrT> handler_kind, TNode<WordT> handler_word, 409 TNode<BoolT> IsPropertyDetailsConst(TNode<Uint32T> details); 417 TNode<IntPtrT> StubCachePrimaryOffset(TNode<Name> name, TNode<Map> map); [all …]
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | conjecture_generator.h | 198 … std::map< TNode, TNode >& smap, std::vector< TNode >& vars, std::vector< TNode >& subs, 201 … std::map< TNode, TNode >& smap, std::vector< TNode >& vars, std::vector< TNode >& subs, 208 void addTheorem( TNode lhs, TNode rhs ) { in addTheorem() 216 std::map< TNode, TNode > smap; in getEquivalentTerms() 274 void eqNotifyDisequal(TNode t1, TNode t2, TNode reason) override in eqNotifyDisequal() 303 void eqNotifyPreMerge(TNode t1, TNode t2); 305 void eqNotifyPostMerge(TNode t1, TNode t2); 307 void eqNotifyDisequal(TNode t1, TNode t2, TNode reason); 382 std::map< TNode, TNode > subs; in isGeneralization() 385 bool isGeneralization( TNode patg, TNode pat, std::map< TNode, TNode >& subs ); [all …]
|