Home
last modified time | relevance | path

Searched refs:CLP (Results 76 – 100 of 2256) sorted by relevance

12345678910>>...91

/dports/print/splix/splix-6752e71281f1289a3b76357d84b65b0d893615b3/tags/splix-1.0.1/ppd/po/
H A Dit.po250 msgid "CLP-300"
251 msgstr "CLP-300"
262 msgid "CLP-510"
263 msgstr "CLP-510"
265 msgid "CLP-60"
266 msgstr "CLP-60"
268 msgid "CLP-500"
269 msgstr "CLP-500"
277 msgid "CLP-600"
278 msgstr "CLP-600"
H A Dfr.po250 msgid "CLP-300"
251 msgstr "CLP-300"
262 msgid "CLP-510"
263 msgstr "CLP-510"
265 msgid "CLP-60"
266 msgstr "CLP-60"
268 msgid "CLP-500"
269 msgstr "CLP-500"
277 msgid "CLP-600"
278 msgstr "CLP-600"
/dports/print/splix/splix-6752e71281f1289a3b76357d84b65b0d893615b3/tags/splix-1.0.1-1/ppd/po/
H A Dde.po250 msgid "CLP-300"
251 msgstr "CLP-300"
262 msgid "CLP-510"
263 msgstr "CLP-510"
265 msgid "CLP-60"
266 msgstr "CLP-60"
268 msgid "CLP-500"
269 msgstr "CLP-500"
277 msgid "CLP-600"
278 msgstr "CLP-600"
H A Dfr.po250 msgid "CLP-300"
251 msgstr "CLP-300"
262 msgid "CLP-510"
263 msgstr "CLP-510"
265 msgid "CLP-60"
266 msgstr "CLP-60"
268 msgid "CLP-500"
269 msgstr "CLP-500"
277 msgid "CLP-600"
278 msgstr "CLP-600"
/dports/lang/yap/yap-6.2.2/packages/clpqr/clpqr/
H A Dproject.pl79 get_clp(TargetVars,CLP),
80 ( nonvar(CLP)
89 fm_elim(CLP,Avs,Tvs,Pivots),
99 get_clp([H|T],CLP) :-
101 -> arg(1,Att,CLP)
104 get_clp(T,CLP).
146 arg(1,AttT,CLP),
196 \+ indep(CLP,Lin,OrdV),
273 arg(1,Att,CLP),
275 -> renormalize(CLP,Lin,New),
[all …]
/dports/lang/swi-pl/swipl-8.2.3/packages/clpqr/clpqr/
H A Dproject.pl79 get_clp(TargetVars,CLP),
80 ( nonvar(CLP)
89 fm_elim(CLP,Avs,Tvs,Pivots),
99 get_clp([H|T],CLP) :-
101 -> arg(1,Att,CLP)
104 get_clp(T,CLP).
146 arg(1,AttT,CLP),
196 \+ indep(CLP,Lin,OrdV),
273 arg(1,Att,CLP),
275 -> renormalize(CLP,Lin,New),
[all …]
H A Dgeler.pl12 This software is based on CLP(Q,R) by Christian Holzbaur for SICStus
75 attr_unify_hook(g(CLP,goals(Gx),_),Y) :-
79 -> ignore((CLP \== A,throw(error(permission_error(
88 ; put_attr(Y,geler,g(CLP,n,C))
94 put_attr(Y,geler,g(CLP,goals(Gx),C))
97 put_attr(Y,geler,g(CLP,goals(Gx),n))
184 -> throw(error(permission_error('apply CLP(Q) constraints on',
185 'CLP(R) variable',V),context(_)))
/dports/print/splix/splix-6752e71281f1289a3b76357d84b65b0d893615b3/tags/splix-1.0.2/ppd/po/
H A Dfr.po250 msgid "CLP-300"
251 msgstr "CLP-300"
262 msgid "CLP-510"
263 msgstr "CLP-510"
265 msgid "CLP-60"
266 msgstr "CLP-60"
268 msgid "CLP-500"
269 msgstr "CLP-500"
277 msgid "CLP-600"
278 msgstr "CLP-600"
/dports/editors/vigor/vigor-0.016/cl/
H A Dcl_funcs.c50 clp = CLP(sp);
86 clp = CLP(sp);
181 clp = CLP(sp);
278 clp = CLP(sp);
343 clp = CLP(sp);
422 clp = CLP(sp);
478 clp = CLP(sp);
517 clp = CLP(sp);
559 clp = CLP(sp);
672 F_SET(CLP(sp), CL_SIGWINCH);
/dports/math/SCIP/scip-7.0.3/cmake/Modules/
H A DFindCLP.cmake1 # - Try to find CLP
3 # CLP_FOUND - System has CLP
4 # CLP_INCLUDE_DIRS - The CLP include directories
5 # CLP_LIBRARIES - The libraries needed to use CLP
51 find_package_handle_standard_args(CLP DEFAULT_MSG
/dports/lang/swi-pl/swipl-8.2.3/man/lib/
H A Dclpqr.doc8 This CLP(Q,R) system is a port of the CLP(Q,R) system of Sicstus
13 This manual is roughly based on the manual of the above mentioned CLP(Q,R)
16 The CLP(Q,R) system consists of two components: the CLP(Q) library for handling
17 constraints over the rational numbers and the CLP(R) library for handling
20 \predref{bb_inf}{4} in CLP(Q) and \predref{bb_inf}{5} in CLP(R)). It is allowed
21 to use both libraries in one program, but using both CLP(Q) and CLP(R)
74 This predicate is offered in CLP(R) only. It computes the infimum of
84 This predicate is offered in CLP(Q) only. It behaves the same as
89 the values of the integers. In CLP(R), an error margin of 0.001 is used.
149 \caption{CLP(Q,R) constraint BNF}
[all …]
H A Dclpblib.md3 This library provides CLP(B), Constraint Logic Programming over
7 CLP(B) is an instance of the general [CLP(_X_) scheme](<#clp>),
43 keywords = "CLP(B), Boolean unification, Decision diagrams, BDD"
96 The most frequently used CLP(B) predicates are:
156 By default, CLP(B) residual goals appear in (approximately) algebraic
188 ## Enabling monotonic CLP(B) {#clpb-monotonic}
208 this mode is enabled, then you must wrap CLP(B) variables with the
229 list `Cs` of CLP(B) constraints that must all be satisfied.
262 with 4 =|NAND|= gates. We can model such a circuit with CLP(B)
292 ## CLP(B) predicate index {#clpb-predicates}
[all …]
/dports/net-mgmt/librenms/librenms-21.5.1/mibs/
H A DATM-FORUM-TC-MIB133 -- The No CLP/No SCR Type
138 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
146 -- The SCR/No CLP Type
150 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
156 -- The CLP without Tagging/SCR Type
160 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
161 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0 traffic
166 -- The CLP with Tagging/SCR Type
170 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
171 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0
[all …]
/dports/net-mgmt/observium/observium/mibs/cisco/
H A DATM-FORUM-TC-MIB133 -- The No CLP/No SCR Type
138 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
146 -- The SCR/No CLP Type
150 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
156 -- The CLP without Tagging/SCR Type
160 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
161 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0 traffic
166 -- The CLP with Tagging/SCR Type
170 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
171 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0
[all …]
H A DCISCO-ATM-VIRTUAL-IF-MIB378 CLP-0 means Cell Loss Priority = 0,
379 CLP-1 means Cell Loss Priority = 1.
418 "The number of CLP-0 cells received from switch
427 "The number of CLP-1 cells received from switch
569 "The Upper 32 bit of the number of CLP-0 cells
579 "The Upper 32 bit of the number of CLP-1 cells
694 "The number of CLP-0 cells received from switch
704 "The number of CLP-1 cells received from switch
839 "The upper 32 bits of the number of CLP-0 cells
934 CLP-0 means Cell Loss Priority = 0,
[all …]
H A DCISCO-PROP-ATM-IF-MIB139 CLP-0 means Cell Loss Priority = 0,
140 CLP-1 means Cell Loss Priority = 1.
166 "The number of CLP-0 cells received from switch
176 "The number of CLP-1 cells received from switch
233 "The number of CLP-0 cells received from switch
245 "The number of CLP-1 cells received from switch
322 CLP-0 means Cell Loss Priority = 0,
323 CLP-1 means Cell Loss Priority = 1.
363 "The number of CLP-0 cells received from switch
537 CLP-0 means Cell Loss Priority = 0,
[all …]
/dports/net-mgmt/observium/observium/mibs/broadbandforum/
H A DATM-FORUM-TC-MIB133 -- The No CLP/No SCR Type
138 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
146 -- The SCR/No CLP Type
150 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
156 -- The CLP without Tagging/SCR Type
160 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
161 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0 traffic
166 -- The CLP with Tagging/SCR Type
170 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
171 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0
[all …]
/dports/net-mgmt/netdisco-mibs/netdisco-mibs-4.010/cisco/
H A DATM-FORUM-TC-MIB.my133 -- The No CLP/No SCR Type
138 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
146 -- The SCR/No CLP Type
150 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
156 -- The CLP without Tagging/SCR Type
160 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
161 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0 traffic
166 -- The CLP with Tagging/SCR Type
170 -- Parameter #1 - peak cell rate in cells/second for CLP=0+1 traffic
171 -- Parameter #2 - sustainable cell rate in cells/second for CLP=0
[all …]
H A DCISCO-ATM-VIRTUAL-IF-MIB.my378 CLP-0 means Cell Loss Priority = 0,
379 CLP-1 means Cell Loss Priority = 1.
418 "The number of CLP-0 cells received from switch
427 "The number of CLP-1 cells received from switch
569 "The Upper 32 bit of the number of CLP-0 cells
579 "The Upper 32 bit of the number of CLP-1 cells
694 "The number of CLP-0 cells received from switch
704 "The number of CLP-1 cells received from switch
839 "The upper 32 bits of the number of CLP-0 cells
934 CLP-0 means Cell Loss Priority = 0,
[all …]
H A DCISCO-PROP-ATM-IF-MIB.my139 CLP-0 means Cell Loss Priority = 0,
140 CLP-1 means Cell Loss Priority = 1.
166 "The number of CLP-0 cells received from switch
176 "The number of CLP-1 cells received from switch
233 "The number of CLP-0 cells received from switch
245 "The number of CLP-1 cells received from switch
322 CLP-0 means Cell Loss Priority = 0,
323 CLP-1 means Cell Loss Priority = 1.
363 "The number of CLP-0 cells received from switch
537 CLP-0 means Cell Loss Priority = 0,
[all …]
/dports/math/gravity/Gravity-da941e9/cmake/
H A DFindCLP.cmake1 set(CLP_ROOT_DIR "$ENV{CLP_ROOT_DIR}" CACHE PATH "CLP root directory.")
2 message("Looking for CLP in ${CLP_ROOT_DIR} folder")
19 find_package_handle_standard_args(CLP DEFAULT_MSG UTILS_LIBRARY CLP_LIBRARY CLP_INCLUDE_DIR)
22 message("—- Found CLP under ${CLP_INCLUDE_DIR}")
/dports/editors/nvi2/nvi2-2.2.0/cl/
H A Dcl_funcs.c42 clp = CLP(sp); in addstr4()
107 clp = CLP(sp); in cl_attr()
201 clp = CLP(sp); in cl_baud()
315 clp = CLP(sp); in cl_deleteln()
366 clp = CLP(tsp); in cl_discard()
392 clp = CLP(sp); in cl_ex_adjust()
468 clp = CLP(sp); in cl_keyval()
527 clp = CLP(sp); in cl_refresh()
611 clp = CLP(sp); in cl_rename()
677 clp = CLP(origp); in cl_split()
[all …]
/dports/lang/swi-pl/swipl-8.2.3/library/clp/
H A Dclpb.pl36 CLP(B): Constraint Logic Programming over Boolean variables.
57 /** <module> CLP(B): Constraint Logic Programming over Boolean Variables
61 This library provides CLP(B), Constraint Logic Programming over
65 CLP(B) is an instance of the general [CLP(_X_) scheme](<#clp>),
154 The most frequently used CLP(B) predicates are:
168 The unification of a CLP(B) variable _X_ with a term _T_ is equivalent
214 By default, CLP(B) residual goals appear in (approximately) algebraic
248 In the default execution mode, CLP(B) constraints are _not_ monotonic.
265 Set the flag `clpb_monotonic` to `true` to make CLP(B) *monotonic*. If
266 this mode is enabled, then you must wrap CLP(B) variables with the
[all …]
/dports/net-mgmt/observium/observium/mibs/paradyne/
H A DPDN-ATMSTATS-MIB173 this VPL including both CLP=0 and CLP=1 cells.
195 originally received with CLP=0 and CLP=1."
204 CLP=0 an discarded by the traffic policing
214 by this VPL. This includes both CLP=0 and CLP=1
225 with CLP=0 by this VPL."
234 traffic policing entity from CLP=0 to CLP=1 and
313 this VCL including both CLP=0 and CLP=1 cells.
335 originally received with CLP=0 and CLP=1."
354 by this VCL. This includes both CLP=0 and CLP=1
364 with CLP=0 by this VCL."
[all …]
/dports/graphics/pgplot/pgplot/src/
H A Dpgsave.f35 INTEGER AHFS(MAXS), TBG(MAXS), CLP(MAXS) local
39 SAVE AHANG, AHBARB, HSA, HSS, HSP, CLP
58 CALL PGQCLP(CLP(LEV))
87 CALL PGSCLP(CLP(LEV))

12345678910>>...91