| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Polyhedron_public.cc | 3107 && (relsym == LESS_THAN || relsym == GREATER_THAN)) { in generalized_affine_image()
3130 switch (relsym) { in generalized_affine_image()
3224 && (relsym == LESS_THAN || relsym == GREATER_THAN)) { in generalized_affine_preimage()
3242 switch (relsym) { in generalized_affine_preimage()
3327 && (relsym == LESS_THAN || relsym == GREATER_THAN)) { in generalized_affine_image()
3348 switch (relsym) { in generalized_affine_image()
3400 switch (relsym) { in generalized_affine_image()
3440 switch (relsym) { in generalized_affine_image()
3487 && (relsym == LESS_THAN || relsym == GREATER_THAN)) { in generalized_affine_preimage()
3539 switch (relsym) { in generalized_affine_preimage()
[all …]
|
| H A D | Partially_Reduced_Product_inlines.hh | 292 const Relation_Symbol relsym, in generalized_affine_image() argument
295 d1.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image()
296 d2.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image()
304 const Relation_Symbol relsym, in generalized_affine_preimage() argument
307 d1.generalized_affine_preimage(var, relsym, expr, denominator); in generalized_affine_preimage()
316 const Relation_Symbol relsym, in generalized_affine_image() argument
318 d1.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
319 d2.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
327 const Relation_Symbol relsym, in generalized_affine_preimage() argument
329 d1.generalized_affine_preimage(lhs, relsym, rhs); in generalized_affine_preimage()
[all …]
|
| H A D | Pointset_Powerset_defs.hh | 827 Relation_Symbol relsym,
860 Relation_Symbol relsym,
886 Relation_Symbol relsym,
910 Relation_Symbol relsym,
|
| H A D | Partially_Reduced_Product_defs.hh | 1174 Relation_Symbol relsym,
1208 Relation_Symbol relsym,
1235 Relation_Symbol relsym,
1260 Relation_Symbol relsym,
|
| H A D | Octagonal_Shape_defs.hh | 1091 Relation_Symbol relsym);
1286 Relation_Symbol relsym,
1311 Relation_Symbol relsym,
1371 Relation_Symbol relsym,
1396 Relation_Symbol relsym,
2033 Relation_Symbol relsym,
|
| H A D | BD_Shape_defs.hh | 1080 Relation_Symbol relsym);
1297 Relation_Symbol relsym,
1322 Relation_Symbol relsym,
1350 Relation_Symbol relsym,
1375 Relation_Symbol relsym,
2189 void refine(Variable var, Relation_Symbol relsym,
|
| H A D | Grid_public.cc | 2089 if (relsym == NOT_EQUAL) { in generalized_affine_image()
2101 if (relsym != EQUAL) { in generalized_affine_image()
2123 PPL_ASSERT(relsym == EQUAL); in generalized_affine_image()
2185 if (relsym == NOT_EQUAL) { in generalized_affine_preimage()
2192 if (relsym != EQUAL) { in generalized_affine_preimage()
2214 PPL_ASSERT(relsym == EQUAL); in generalized_affine_preimage()
2289 if (relsym == NOT_EQUAL) { in generalized_affine_image()
2301 if (relsym != EQUAL) { in generalized_affine_image()
2326 PPL_ASSERT(relsym == EQUAL); in generalized_affine_image()
2429 if (relsym == NOT_EQUAL) { in generalized_affine_preimage()
[all …]
|
| H A D | Polyhedron_defs.hh | 1073 Relation_Symbol relsym);
1396 Relation_Symbol relsym,
1429 Relation_Symbol relsym,
1455 Relation_Symbol relsym,
1479 Relation_Symbol relsym,
|
| H A D | BD_Shape_templates.hh | 3627 PPL_ASSERT(relsym != LESS_THAN && relsym != GREATER_THAN); in refine()
3661 switch (relsym) { in refine()
3688 switch (relsym) { in refine()
3747 switch (relsym) { in refine()
5584 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_image()
5637 switch (relsym) { in generalized_affine_image()
5818 switch (relsym) { in generalized_affine_image()
5995 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_image()
6033 switch (relsym) { in generalized_affine_image()
6189 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_preimage()
[all …]
|
| H A D | Grid_defs.hh | 1337 Relation_Symbol relsym,
1376 Relation_Symbol relsym,
1409 Relation_Symbol relsym,
1440 Relation_Symbol relsym,
|
| H A D | Box_defs.hh | 1101 Relation_Symbol relsym,
1132 Relation_Symbol relsym,
1156 Relation_Symbol relsym,
1178 Relation_Symbol relsym,
|
| H A D | Octagonal_Shape_templates.hh | 4525 PPL_ASSERT(relsym != LESS_THAN && relsym != GREATER_THAN); in refine()
4570 switch (relsym) { in refine()
4595 switch (relsym) { in refine()
4707 switch (relsym) { in refine()
6024 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_image()
6090 switch (relsym) { in generalized_affine_image()
6303 switch (relsym) { in generalized_affine_image()
6542 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_image()
6583 switch (relsym) { in generalized_affine_image()
7050 if (relsym == LESS_THAN || relsym == GREATER_THAN) { in generalized_affine_preimage()
[all …]
|
| H A D | Polyhedron_inlines.hh | 386 const Relation_Symbol relsym) { in generalized_refine_with_linear_form_inequality() argument
387 switch (relsym) { in generalized_refine_with_linear_form_inequality()
|
| H A D | Pointset_Powerset_templates.hh | 416 const Relation_Symbol relsym, in generalized_affine_image() argument
421 si->pointset().generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
431 const Relation_Symbol relsym, in generalized_affine_preimage() argument
436 si->pointset().generalized_affine_preimage(lhs, relsym, rhs); in generalized_affine_preimage()
446 const Relation_Symbol relsym, in generalized_affine_image() argument
452 si->pointset().generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image()
462 const Relation_Symbol relsym, in generalized_affine_preimage() argument
469 si->pointset().generalized_affine_preimage(var, relsym, expr, denominator); in generalized_affine_preimage()
|
| H A D | Box_templates.hh | 3587 if (relsym == NOT_EQUAL) { in generalized_affine_image()
3595 if (relsym == EQUAL) { in generalized_affine_image()
3605 switch (relsym) { in generalized_affine_image()
3660 if (relsym == NOT_EQUAL) { in generalized_affine_preimage()
3666 if (relsym == EQUAL) { in generalized_affine_preimage()
3673 switch (relsym) { in generalized_affine_preimage()
3702 ? relsym in generalized_affine_preimage()
3809 if (relsym == NOT_EQUAL) { in generalized_affine_image()
3885 switch (relsym) { in generalized_affine_image()
3941 switch (relsym) { in generalized_affine_image()
[all …]
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
| H A D | Fake_Class_for_Doxygen.java | 615 Relation_Symbol relsym, in generalized_affine_image() argument
646 Relation_Symbol relsym, in generalized_affine_preimage() argument
671 Relation_Symbol relsym, in generalized_affine_image() argument
695 Relation_Symbol relsym, in generalized_affine_preimage() argument
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/ |
| H A D | relextract.py | 295 def clause(reldict, relsym): argument
303 items = (relsym, reldict['subjsym'], reldict['objsym'])
353 print(clause(rel, relsym='IN'))
520 print(clause(r, relsym='DE'))
|
| /dports/finance/moneymanagerex/moneymanagerex-1.2.7/lib/wxsqlite3/wxcode/autoconf/ |
| H A D | wxcodecheck.m4 | 139 relsym="$6""RELEASE""$7"
148 #if defined($majsym) && defined($minsym) && defined($relsym)
151 ($majsym == ($major) && $minsym == ($minor) && $relsym >= ($release)))
157 #error $1 does not define its version symbols $majsym, $minsym, $relsym
|
| /dports/devel/ppl/ppl-1.2/interfaces/C/ |
| H A D | C_interface.dox | 881 by \p relsym.
889 \param relsym
902 enum ppl_enum_Constraint_Type relsym,
911 by \p relsym.
919 \param relsym
932 enum ppl_enum_Constraint_Type relsym,
940 \f$\mathord{\relsym}\f$ is the relation symbol encoded by \p relsym.
948 \param relsym
958 enum ppl_enum_Constraint_Type relsym,
965 \f$\mathord{\relsym}\f$ is the relation symbol encoded by \p relsym.
[all …]
|
| /dports/editors/fpc-ide/fpc-3.2.2/compiler/powerpc64/ |
| H A D | rappcgas.pas | 156 relsym: string;
244 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
245 if (relsym<>'') then
248 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|
| /dports/lang/fpc/fpc-3.2.2/compiler/powerpc64/ |
| H A D | rappcgas.pas | 156 relsym: string;
244 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
245 if (relsym<>'') then
248 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|
| /dports/lang/fpc/fpc-3.2.2/compiler/powerpc/ |
| H A D | rappcgas.pas | 143 relsym: string;
232 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
233 if (relsym<>'') then
236 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|
| /dports/lang/fpc-source/fpc-3.2.2/compiler/powerpc64/ |
| H A D | rappcgas.pas | 156 relsym: string;
244 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
245 if (relsym<>'') then
248 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|
| /dports/lang/fpc-source/fpc-3.2.2/compiler/powerpc/ |
| H A D | rappcgas.pas | 143 relsym: string;
232 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
233 if (relsym<>'') then
236 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|
| /dports/editors/fpc-ide/fpc-3.2.2/compiler/powerpc/ |
| H A D | rappcgas.pas | 143 relsym: string;
232 BuildConstSymbolExpression(false,true,false,l,relsym,asmsymtyp);
233 if (relsym<>'') then
236 oper.opr.ref.relsymbol:=current_asmdata.RefAsmSymbol(relsym,asmsymtyp)
|