Home
last modified time | relevance | path

Searched refs:TNode (Results 1 – 25 of 1030) sorted by relevance

12345678910>>...42

/dports/lang/v8/v8-9.6.180.12/src/codegen/
H A Dcode-stub-assembler.h620 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 Dcode-stub-assembler.h599 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 Dinterpreter-assembler.h82 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 Dbuiltins-typed-array-gen.h18 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 Dbuiltins-string-gen.h19 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 Dbuiltins-regexp-gen.h31 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 Dbuiltins-typed-array-gen.h21 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 Dbuiltins-array-gen.h21 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 Dbuiltins-regexp-gen.h23 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 Dbuiltins-string-gen.h19 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 Dbuiltins-typed-array-gen.h26 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 Dbuiltins-array-gen.h21 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 Dbuiltins-regexp-gen.h23 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 Dbuiltins-string-gen.h19 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 Dbuiltins-typed-array-gen.h21 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 Dbuiltins-array-gen.h21 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 Dinterpreter-assembler.h82 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 Dinterpreter-assembler.h80 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 Dcode-stub-assembler.h711 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 Dbinary-op-assembler.h24 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 Daccessor-assembler.h64 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 Daccessor-assembler.h74 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 Dbinary-op-assembler.h24 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 Daccessor-assembler.h62 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 Dconjecture_generator.h198 … 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 …]

12345678910>>...42