Home
last modified time | relevance | path

Searched refs:d_sort (Results 1 – 7 of 7) sorted by relevance

/dports/math/boolector/boolector-3.2.2/test/
H A Dtest_unionfind.cpp23 d_sort = btor_sort_bv (d_btor, 32); in SetUp()
28 btor_sort_release (d_btor, d_sort); in TearDown()
33 BtorSortId d_sort = 0; member in TestUnionFind
40 BtorNode *x = btor_exp_var (d_btor, d_sort, "x"); in TEST_F()
59 BtorNode *x = btor_exp_var (d_btor, d_sort, "x"); in TEST_F()
60 BtorNode *y = btor_exp_var (d_btor, d_sort, "y"); in TEST_F()
77 BtorNode *x = btor_exp_var (d_btor, d_sort, "x"); in TEST_F()
78 BtorNode *y = btor_exp_var (d_btor, d_sort, "y"); in TEST_F()
79 BtorNode *z = btor_exp_var (d_btor, d_sort, "z"); in TEST_F()
97 BtorNode *w = btor_exp_var (d_btor, d_sort, "w"); in TEST_F()
[all …]
/dports/math/PDL/PDL-2.019/t/
H A Dufunc.t33 my $d_sort = $d->qsort;
56 ok(all($d == $d_sort), "inplace sorting");
60 $d_sort = $d->qsort;
62 ok(all($d == $d_sort), "inplace sorting with bad values");
/dports/www/p5-FEAR-API/FEAR-API-0.489/lib/FEAR/API/
H A DDocument.pm226 chain_sub d_sort {
/dports/www/p5-FEAR-API/FEAR-API-0.489/
H A DChanges86 - Add shell-like commands d_sort, d_grep, d_map, d_uniq, sort, grep, map, uniq in Document.pm
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.cpp1311 : d_name(name), d_sort(sort) in DatatypeSelectorDecl()
1317 : d_name(name), d_sort(Sort(CVC4::Type())) in DatatypeSelectorDecl()
1324 ss << d_name << ": " << d_sort; in toString()
1343 CVC4::Type t = *stor.d_sort.d_type; in addSelector()
H A Dcvc4cpp.h959 Sort d_sort; variable
/dports/www/p5-FEAR-API/FEAR-API-0.489/lib/FEAR/
H A DAPI.pm186 sub _sort(;$) { [ sub { shift->document->d_sort(shift()) }, $_[0] ] }