| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | bool_to_bv.cpp | 201 Kind new_kind = k; in lowerNode() local
204 case kind::EQUAL: new_kind = kind::BITVECTOR_COMP; break; in lowerNode()
205 case kind::AND: new_kind = kind::BITVECTOR_AND; break; in lowerNode()
206 case kind::OR: new_kind = kind::BITVECTOR_OR; break; in lowerNode()
207 case kind::NOT: new_kind = kind::BITVECTOR_NOT; break; in lowerNode()
208 case kind::XOR: new_kind = kind::BITVECTOR_XOR; break; in lowerNode()
209 case kind::IMPLIES: new_kind = kind::BITVECTOR_OR; break; in lowerNode()
210 case kind::ITE: new_kind = kind::BITVECTOR_ITE; break; in lowerNode()
211 case kind::BITVECTOR_ULT: new_kind = kind::BITVECTOR_ULTBV; break; in lowerNode()
212 case kind::BITVECTOR_SLT: new_kind = kind::BITVECTOR_SLTBV; break; in lowerNode()
[all …]
|
| H A D | bv_to_bool.cpp | 186 Kind new_kind; in convertBvTerm() local
191 new_kind = kind::XOR; in convertBvTerm()
214 case kind::BITVECTOR_OR: new_kind = kind::OR; break; in convertBvTerm()
215 case kind::BITVECTOR_AND: new_kind = kind::AND; break; in convertBvTerm()
216 case kind::BITVECTOR_NOT: new_kind = kind::NOT; break; in convertBvTerm()
220 NodeBuilder<> builder(new_kind); in convertBvTerm()
|
| /dports/devel/brz/breezy-3.2.0/breezy/ |
| H A D | diff.py | 616 if None in (old_kind, new_kind):
647 if 'directory' not in (old_kind, new_kind):
651 if new_kind not in ('directory', None):
666 if 'symlink' not in (old_kind, new_kind):
674 if new_kind == 'symlink':
676 elif new_kind is None:
720 if 'file' not in (old_kind, new_kind):
728 if new_kind == 'file':
730 elif new_kind is None:
1107 new_kind = None
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/math/subpaving/tactic/ |
| H A D | subpaving_tactic.cpp | 94 engine_kind new_kind; in updt_params() local
96 new_kind = MPQ; in updt_params()
98 new_kind = MPF; in updt_params()
100 new_kind = MPFF; in updt_params()
102 new_kind = MPFX; in updt_params()
104 new_kind = HWF; in updt_params()
105 if (m_kind != new_kind) { in updt_params()
106 m_kind = new_kind; in updt_params()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/subpaving/tactic/ |
| H A D | subpaving_tactic.cpp | 94 engine_kind new_kind; in updt_params() local
96 new_kind = MPQ; in updt_params()
98 new_kind = MPF; in updt_params()
100 new_kind = MPFF; in updt_params()
102 new_kind = MPFX; in updt_params()
104 new_kind = HWF; in updt_params()
105 if (m_kind != new_kind) { in updt_params()
106 m_kind = new_kind; in updt_params()
|
| /dports/devel/p5-Make/Make-2.011/lib/Make/ |
| H A D | Target.pm | 57 my $new_kind = $rule->kind;
58 my $kind = $self->{RULE_TYPE} ||= $new_kind;
59 die "Target '$self->{NAME}' had '$kind' but tried to add '$new_kind'"
60 if $kind ne $new_kind;
|
| /dports/devel/brz/breezy-3.2.0/breezy/plugins/flake8/ |
| H A D | __init__.py | 60 for path, id, old_kind, new_kind in tree_delta.kind_changed:
61 if new_kind == "file":
|
| /dports/java/java-subversion/subversion-1.14.1/subversion/libsvn_wc/ |
| H A D | wc_db_update_move.c | 650 new_kind, in mark_tc_on_op_root()
1673 svn_node_kind_t new_kind, in tc_editor_delete() argument
1789 new_kind, in tc_editor_delete()
1876 new_kind, in tc_incoming_editor_delete()
3211 svn_node_kind_t new_kind; in tc_editor_update_add_merge_files() local
3225 new_version->node_kind = new_kind; in tc_editor_update_add_merge_files()
3288 svn_node_kind_t new_kind; in tc_editor_update_add_merge_dirprops() local
3302 new_version->node_kind = new_kind; in tc_editor_update_add_merge_dirprops()
3521 svn_node_kind_t new_kind; in update_local_add() local
3687 svn_node_kind_t new_kind; in bump_mark_tree_conflict() local
[all …]
|
| /dports/devel/py-subversion/subversion-1.14.1/subversion/libsvn_wc/ |
| H A D | wc_db_update_move.c | 650 new_kind, in mark_tc_on_op_root()
1673 svn_node_kind_t new_kind, in tc_editor_delete() argument
1789 new_kind, in tc_editor_delete()
1876 new_kind, in tc_incoming_editor_delete()
3211 svn_node_kind_t new_kind; in tc_editor_update_add_merge_files() local
3225 new_version->node_kind = new_kind; in tc_editor_update_add_merge_files()
3288 svn_node_kind_t new_kind; in tc_editor_update_add_merge_dirprops() local
3302 new_version->node_kind = new_kind; in tc_editor_update_add_merge_dirprops()
3521 svn_node_kind_t new_kind; in update_local_add() local
3687 svn_node_kind_t new_kind; in bump_mark_tree_conflict() local
[all …]
|
| /dports/security/subversion-gnome-keyring/subversion-1.14.1/subversion/libsvn_wc/ |
| H A D | wc_db_update_move.c | 650 new_kind, in mark_tc_on_op_root()
1673 svn_node_kind_t new_kind, in tc_editor_delete() argument
1789 new_kind, in tc_editor_delete()
1876 new_kind, in tc_incoming_editor_delete()
3211 svn_node_kind_t new_kind; in tc_editor_update_add_merge_files() local
3225 new_version->node_kind = new_kind; in tc_editor_update_add_merge_files()
3288 svn_node_kind_t new_kind; in tc_editor_update_add_merge_dirprops() local
3302 new_version->node_kind = new_kind; in tc_editor_update_add_merge_dirprops()
3521 svn_node_kind_t new_kind; in update_local_add() local
3687 svn_node_kind_t new_kind; in bump_mark_tree_conflict() local
[all …]
|
| /dports/devel/p5-subversion/subversion-1.14.1/subversion/libsvn_wc/ |
| H A D | wc_db_update_move.c | 650 new_kind, in mark_tc_on_op_root()
1673 svn_node_kind_t new_kind, in tc_editor_delete() argument
1789 new_kind, in tc_editor_delete()
1876 new_kind, in tc_incoming_editor_delete()
3211 svn_node_kind_t new_kind; in tc_editor_update_add_merge_files() local
3225 new_version->node_kind = new_kind; in tc_editor_update_add_merge_files()
3288 svn_node_kind_t new_kind; in tc_editor_update_add_merge_dirprops() local
3302 new_version->node_kind = new_kind; in tc_editor_update_add_merge_dirprops()
3521 svn_node_kind_t new_kind; in update_local_add() local
3687 svn_node_kind_t new_kind; in bump_mark_tree_conflict() local
[all …]
|
| /dports/www/node10/node-v10.24.1/deps/v8/src/builtins/ |
| H A D | builtins-call-gen.cc | 226 const ElementsKind new_kind = PACKED_ELEMENTS; in CallOrConstructDoubleVarargs() local
233 AllocateFixedArray(new_kind, intptr_length, mode, in CallOrConstructDoubleVarargs()
241 CopyFixedArrayElements(HOLEY_DOUBLE_ELEMENTS, elements, new_kind, in CallOrConstructDoubleVarargs()
249 CopyFixedArrayElements(PACKED_DOUBLE_ELEMENTS, elements, new_kind, in CallOrConstructDoubleVarargs()
|
| /dports/devel/py-jedi/jedi-0.18.0/jedi/inference/ |
| H A D | star_args.py | 209 def __init__(self, param_name, new_kind): argument
211 self._new_kind = new_kind
|
| /dports/lang/v8/v8-9.6.180.12/src/objects/ |
| H A D | map.cc | 1664 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
1666 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
1673 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
1675 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
1680 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
1685 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
1687 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
1694 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
1696 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
1701 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/v8/src/objects/ |
| H A D | map.cc | 2035 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
2037 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2044 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
2046 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2051 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2056 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
2058 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2065 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
2067 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2072 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/v8/src/objects/ |
| H A D | map.cc | 2043 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
2045 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2052 new_kind = PACKED_SEALED_ELEMENTS; in CopyForPreventExtensions()
2054 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2059 new_kind = PACKED_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2064 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
2066 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2073 new_kind = HOLEY_SEALED_ELEMENTS; in CopyForPreventExtensions()
2075 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
2080 new_kind = HOLEY_FROZEN_ELEMENTS; in CopyForPreventExtensions()
[all …]
|
| /dports/editors/texmacs/TeXmacs-1.99.4-src/src/System/Language/ |
| H A D | packrat_parser.cpp | 565 array<C> new_kind, new_begin, new_end; in compress() local
567 int n= N(new_kind); in compress()
569 if (N(new_kind) == 0 || in compress()
570 new_kind [n-1] != kind[i] || in compress()
572 new_kind << kind[i]; in compress()
577 kind = new_kind; in compress()
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/compiler/ |
| H A D | Globals.sml | 232 fun setTnKind r new_kind =
235 r := { tnStamp=stamp, tnKind=new_kind, tnEqu=equ, tnSort=sort,tnLevel=level,
317 fun setTvKind r new_kind =
321 { tvKind=new_kind, tvLevel=level, tvEqu=equ, tvImp=imp, tvOvl=ovl }
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/compiler.cminusminus/ |
| H A D | Globals.sml | 232 fun setTnKind r new_kind =
235 r := { tnStamp=stamp, tnKind=new_kind, tnEqu=equ, tnSort=sort,tnLevel=level,
317 fun setTvKind r new_kind =
321 { tvKind=new_kind, tvLevel=level, tvEqu=equ, tvImp=imp, tvOvl=ovl }
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 73 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 73 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 73 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 75 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 75 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/hotspot/share/c1/ |
| H A D | c1_ValueStack.hpp | 73 ValueStack* copy(Kind new_kind, int new_bci) { return new ValueStack(this, new_kind, new_bci); } in copy() argument
|