Home
last modified time | relevance | path

Searched defs:disjunct (Results 1 – 25 of 34) sorted by relevance

12

/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/tests/
H A Dmodels.py40 def d_rule(disjunct, flag): argument
61 def d_rule(disjunct, flag): argument
84 def disj1_rule(disjunct): argument
92 def disj2_rule(disjunct): argument
115 def d_rule(disjunct, flag): argument
162 def d_rule(disjunct, flag, s): argument
182 def d_rule(disjunct, flag): argument
303 def disjunct(disjunct, flag): function
317 def simpdisj_rule(disjunct): argument
493 def d1_rule(disjunct, flag): argument
[all …]
H A Dtest_disjunct.py237 def disjunct(d, i): function
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/plugins/
H A Dgdp_var_mover.py122 def _disjunct_not_fixed_true(self, disjunct): argument
127 def _disjunct_not_relaxed(self, disjunct): argument
131 def _disjunct_on_active_block(self, disjunct): argument
H A Dhull.py698 def _transform_block_components( self, block, disjunct, var_substitute_map, argument
757 disjunct, bigmConstraint, lb_idx, argument
820 def _warn_for_active_disjunction( self, disjunction, disjunct, argument
829 self, logical_statment, disjunct, var_substitute_map, argument
834 def _transform_block_on_disjunct( self, block, disjunct, var_substitute_map, argument
846 def _transform_constraint(self, obj, disjunct, var_substitute_map, argument
1023 def _add_local_var_suffix(self, disjunct): argument
1057 def get_disaggregated_var(self, v, disjunct): argument
H A Dbigm.py482 def _transform_block_components(self, block, disjunct, bigM, arg_list, argument
565 def _warn_for_active_disjunction(self, disjunction, disjunct, bigMargs, argument
574 self, logical_statment, disjunct, infodict, bigMargs, suffix_list): argument
578 def _transform_block_on_disjunct(self, block, disjunct, bigMargs, arg_list, argument
617 def _transform_constraint(self, obj, disjunct, bigMargs, arg_list, argument
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/
H A Dutil.py264 def _warn_for_active_disjunction(disjunction, disjunct, NAME_BUFFER): argument
310 def _warn_for_active_logical_constraint(logical_statement, disjunct, NAME_BUFFER): argument
393 def _disjunct_not_fixed_true(disjunct): argument
398 def _disjunct_on_active_block(disjunct): argument
/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dconflict.c165 conflict_element_ref_t conflict_new_element(conflict_t* conflict, term_t disjunct) { in conflict_new_element()
236 void conflict_disjunct_get_variables(const conflict_t* conflict, term_t disjunct, int_mset_t* varia… in conflict_disjunct_get_variables()
270 term_t conflict_disjunct_substitute(const conflict_t* conflict, term_t disjunct, variable_t var, te… in conflict_disjunct_substitute()
347 bool conflict_add_disjunct(conflict_t* conflict, term_t disjunct) { in conflict_add_disjunct()
441 void conflict_remove_disjunct(conflict_t* conflict, term_t disjunct) { in conflict_remove_disjunct()
565 term_t disjunct = disjuncts.data[i]; in conflict_resolve_propagation() local
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/dict-sql/
H A Ddict.sql55 disjunct TEXT NOT NULL, field
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dgenem.cc132 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
161 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dgenem.cc132 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
161 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortBdds.cc75 Bdd disjunct; // initialized to false by default in SortBdds() local
105 Bdd disjunct; in SortBdds() local
/dports/lang/racket/racket-8.3/collects/syntax/parse/private/
H A Dparse.rkt771 (define-syntax (disjunct stx) function
/dports/lang/racket-minimal/racket-8.3/collects/syntax/parse/private/
H A Dparse.rkt771 (define-syntax (disjunct stx) function
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/spi/
H A DDefaultProxySelector.java384 static String disjunctToRegex(String disjunct) { in disjunctToRegex()
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/gfx-backend-dx12/src/
H A Droot_constants.rs68 let mut disjunct = Vec::with_capacity(ranges.len()); in split() localVariable
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/core/search/payloads/
H A DPayloadSpanUtil.cpp78 …for (Collection<QueryPtr>::iterator disjunct = maxQuery->begin(); disjunct != maxQuery->end(); ++d… in queryToSpanQuery() local
/dports/www/firefox-esr/firefox-91.8.0/third_party/rust/gfx-backend-dx12/src/
H A Droot_constants.rs68 let mut disjunct = Vec::with_capacity(ranges.len()); in split() localVariable
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/spi/
H A DDefaultProxySelector.java384 static String disjunctToRegex(String disjunct) { in disjunctToRegex()
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/gfx-backend-dx12/src/
H A Droot_constants.rs69 let mut disjunct = Vec::with_capacity(ranges.len()); in split() localVariable
/dports/graphics/rx/rx-0.4.0/cargo-crates/gfx-backend-dx12-0.4.1/src/
H A Droot_constants.rs71 let mut disjunct = Vec::with_capacity(ranges.len()); in split() localVariable
/dports/games/stonesoup/crawl-0.27.1/crawl-ref/source/
H A Dtilecell.h43 uint8_t disjunct; member
/dports/security/nmap/nmap-7.91/
H A Dnse_main.lua757 …disjunct = (V "conjunct" + V "value") * V "space"^0 * K "or" * V "space"^0 * V "expression" / func… function
/dports/devel/hyperscan/hyperscan-5.4.0/src/compiler/
H A Dasserts.cpp80 u32 disjunct(u32 flags1, u32 flags2) { in disjunct() function
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dcnf_stream.cpp540 TNode::const_iterator disjunct = node.begin(); in convertAndAssertAnd() local
556 TNode::const_iterator disjunct = node.begin(); in convertAndAssertOr() local
/dports/lang/clips/clips_core_source_630/core/
H A Druledef.h114 struct defrule *disjunct; member

12