Home
last modified time | relevance | path

Searched refs:CLAUSE (Results 101 – 125 of 1374) sorted by relevance

12345678910>>...55

/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/testsuite/ada/acats/tests/c8/
H A Dc87b62d.tst28 -- IN A LENGTH CLAUSE THAT SPECIFIES 'STORAGE_SIZE,
81 TEST ("C87B62D","OVERLOADED EXPRESSION WITHIN LENGTH CLAUSE " &
100 "LENGTH CLAUSE USING 'STORAGE_SIZE");
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/ada/acats/tests/c8/
H A Dc87b62d.tst28 -- IN A LENGTH CLAUSE THAT SPECIFIES 'STORAGE_SIZE,
81 TEST ("C87B62D","OVERLOADED EXPRESSION WITHIN LENGTH CLAUSE " &
100 "LENGTH CLAUSE USING 'STORAGE_SIZE");
/dports/math/z3/z3-z3-4.8.13/src/math/subpaving/
H A Dsubpaving_t.h71 CLAUSE, MONOMIAL, POLYNOMIAL enumerator
100 clause():constraint(constraint::CLAUSE) {} in clause()
113 CLAUSE, enumerator
121 explicit justification(clause * c) { m_data = TAG(void*, c, CLAUSE); } in justification()
125 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause()
365 enum kind { CLAUSE=0, DEFINITION }; enumerator
371 explicit watched(clause * c) { m_data = TAG(void*, c, CLAUSE); } in watched()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/subpaving/
H A Dsubpaving_t.h71 CLAUSE, MONOMIAL, POLYNOMIAL enumerator
100 clause():constraint(constraint::CLAUSE) {} in clause()
113 CLAUSE, enumerator
121 explicit justification(clause * c) { m_data = TAG(void*, c, CLAUSE); } in justification()
125 bool is_clause() const { return get_kind() == CLAUSE; } in is_clause()
365 enum kind { CLAUSE=0, DEFINITION }; enumerator
371 explicit watched(clause * c) { m_data = TAG(void*, c, CLAUSE); } in watched()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/ada/acats/tests/cd/
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/ada/acats/tests/cd/
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/ada/acats/tests/cd/
H A Dcd1009t.tst26 -- CHECK THAT A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE
43 TEST ("CD1009T", "A 'STORAGE_SIZE' CLAUSE MAY BE GIVEN IN THE " &
H A Dcd2c11d.tst26 -- CHECK THAT THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE NEED
43 TEST ("CD2C11D","THE EXPRESSION IN A TASK STORAGE SIZE CLAUSE " &

12345678910>>...55