| /barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/propia/ |
| H A D | manual_examples.pl | 30 sum([Name|Products],Count1,Count2,Profit) :-
31 [Count1,Count2,Profit]::0..100,
33 Count1 #= Ct1a+Ct1b,
|
| /barrelfish-2018-10-04/lib/acpica/source/compiler/ |
| H A D | aslprepkg.c | 132 UINT32 Count1,
260 ExpectedCount = Package->RetInfo.Count1 + Package->RetInfo.Count2;
274 Package->RetInfo.ObjectType1, Package->RetInfo.Count1,
415 ExpectedCount = Package->RetInfo4.Count1 + 1;
423 for (i = 0; i < Package->RetInfo4.Count1; ++i)
433 Package, Package->RetInfo4.Count1, Count);
552 * Count1 - Count for first group
571 UINT32 Count1,
587 for (i = 0; (i < Count1) && Op; i++)
595 ApCheckObjectType (PredefinedName, Op, Type2, (i + Count1));
567 ApCheckPackageElements( const char *PredefinedName, ACPI_PARSE_OBJECT *Op, UINT8 Type1, UINT32 Count1, UINT8 Type2, UINT32 Count2) argument
[all...] |
| /barrelfish-2018-10-04/lib/acpica/source/components/namespace/ |
| H A D | nsprepkg.c | 140 UINT32 Count1,
241 ExpectedCount = Package->RetInfo.Count1 + Package->RetInfo.Count2;
257 Package->RetInfo.ObjectType1, Package->RetInfo.Count1,
547 ExpectedCount = Package->RetInfo.Count1 + Package->RetInfo.Count2;
555 Package->RetInfo.Count1,
569 ExpectedCount = Package->RetInfo.Count1 + Package->RetInfo.Count2;
577 Package->RetInfo.Count1,
579 SubPackage->Package.Count - Package->RetInfo.Count1, 0);
619 ExpectedCount = Package->RetInfo.Count1;
658 if (SubPackage->Package.Count < Package->RetInfo.Count1)
816 AcpiNsCheckPackageElements( ACPI_EVALUATE_INFO *Info, ACPI_OPERAND_OBJECT **Elements, UINT8 Type1, UINT32 Count1, UINT8 Type2, UINT32 Count2, UINT32 StartIndex) argument
[all...] |
| /barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
| H A D | propia_fdtests.pl | 102 sum([Name|Products],Count1,Count2,Profit,Language) :-
103 [Count1,Count2,Profit]::0..100,
105 Count1 #= Ct1a+Ct1b,
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
| H A D | extpropia.tex | 261 sum([Name|Products],Count1,Count2,Profit) :-
262 [Count1,Count2,Profit]::0..100,
264 Count1 #= Ct1a+Ct1b,
289 sum([Name|Products],Count1,Count2,Profit) :-
290 [Count1,Count2,Profit]::0..100,
292 Count1 #= Ct1a+Ct1b,
|
| /barrelfish-2018-10-04/lib/acpica/source/include/ |
| H A D | aclocal.h | 469 UINT8 Count1; member in struct:acpi_package_info
503 UINT8 Count1; member in struct:acpi_package_info4
|
| /barrelfish-2018-10-04/lib/acpica/source/components/debugger/ |
| H A D | dbnames.c | 598 Package->RetInfo.Count1);
|
| /barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
| H A D | ech.pl | 1631 count_and_record_constraints(ConstDec1, Count0, Count1, Module),
1632 count_and_record_constraints(ConstDec2, Count1, Count, Module).
1634 Count1 is Count0 + 1,
1648 ; Count = Count1,
1983 ; %Count1 is Count + 1,
1984 %setval('CHRcdelete_count'(ListIndex), Count1)@Module
|