| /dports/lang/solidity/solidity_0.8.11/libsmtutil/ |
| H A D | SMTLib2Interface.cpp | 185 auto arraySort = dynamic_pointer_cast<ArraySort>(sortSort->inner); in toSExpr() local
186 smtAssert(arraySort, ""); in toSExpr()
187 sexpr += "(as const " + toSmtLibSort(*arraySort) + ") "; in toSExpr()
228 auto const& arraySort = dynamic_cast<ArraySort const&>(_sort); in toSmtLibSort() local
229 smtAssert(arraySort.domain && arraySort.range, ""); in toSmtLibSort()
230 return "(Array " + toSmtLibSort(*arraySort.domain) + ' ' + toSmtLibSort(*arraySort.range) + ')'; in toSmtLibSort()
|
| H A D | SolverInterface.h | 215 smtAssert(arraySort, ""); in select()
217 smtAssert(*arraySort->domain == *_index.sort, ""); in select()
221 arraySort->range in select()
229 auto arraySort = std::dynamic_pointer_cast<ArraySort>(_array.sort); in store() local
230 smtAssert(arraySort, ""); in store()
233 smtAssert(*arraySort->domain == *_index.sort, ""); in store()
234 smtAssert(*arraySort->range == *_element.sort, ""); in store()
238 arraySort in store()
247 smtAssert(sortSort && arraySort, ""); in const_array()
249 smtAssert(*arraySort->range == *_value.sort, ""); in const_array()
[all …]
|
| H A D | Z3Interface.cpp | 247 auto arraySort = dynamic_pointer_cast<ArraySort>(sortSort->inner); in toZ3Expr() local
248 smtAssert(arraySort && arraySort->domain, ""); in toZ3Expr()
249 return z3::const_array(z3Sort(*arraySort->domain), arguments[1]); in toZ3Expr()
392 auto const& arraySort = dynamic_cast<ArraySort const&>(_sort); in z3Sort() local
393 return m_context.array_sort(z3Sort(*arraySort.domain), z3Sort(*arraySort.range)); in z3Sort()
|
| H A D | CVC4Interface.cpp | 311 auto const& arraySort = dynamic_cast<ArraySort const&>(_sort); in cvc4Sort() local
312 return m_context.mkArrayType(cvc4Sort(*arraySort.domain), cvc4Sort(*arraySort.range)); in cvc4Sort()
|
| /dports/math/vtk9/VTK-9.1.0/Common/Core/Testing/Cxx/ |
| H A D | TestArrayAPISparse.cxx | 185 vtkArraySort arraySort; in TestArrayAPISparse() local
186 arraySort.SetDimensions(1); in TestArrayAPISparse()
187 arraySort[0] = 0; in TestArrayAPISparse()
188 array->Sort(arraySort); in TestArrayAPISparse()
359 arraySort.SetDimensions(0); in TestArrayAPISparse()
360 array1D->Sort(arraySort); in TestArrayAPISparse()
365 arraySort.SetDimensions(1); in TestArrayAPISparse()
366 arraySort[0] = 5; in TestArrayAPISparse()
367 array1D->Sort(arraySort); in TestArrayAPISparse()
|
| /dports/math/vtk8/VTK-8.2.0/Common/Core/Testing/Cxx/ |
| H A D | TestArrayAPISparse.cxx | 185 vtkArraySort arraySort; in TestArrayAPISparse() local
186 arraySort.SetDimensions(1); in TestArrayAPISparse()
187 arraySort[0] = 0; in TestArrayAPISparse()
188 array->Sort(arraySort); in TestArrayAPISparse()
375 arraySort.SetDimensions(0); in TestArrayAPISparse()
376 array1D->Sort(arraySort); in TestArrayAPISparse()
382 arraySort.SetDimensions(1); in TestArrayAPISparse()
383 arraySort[0] = 5; in TestArrayAPISparse()
384 array1D->Sort(arraySort); in TestArrayAPISparse()
|
| /dports/math/vtk6/VTK-6.2.0/Common/Core/Testing/Cxx/ |
| H A D | TestArrayAPISparse.cxx | 185 vtkArraySort arraySort; in TestArrayAPISparse() local
186 arraySort.SetDimensions(1); in TestArrayAPISparse()
187 arraySort[0] = 0; in TestArrayAPISparse()
188 array->Sort(arraySort); in TestArrayAPISparse()
375 arraySort.SetDimensions(0); in TestArrayAPISparse()
376 array1D->Sort(arraySort); in TestArrayAPISparse()
382 arraySort.SetDimensions(1); in TestArrayAPISparse()
383 arraySort[0] = 5; in TestArrayAPISparse()
384 array1D->Sort(arraySort); in TestArrayAPISparse()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | TheoryAxioms.hpp | 94 void addBooleanArrayExtensionalityAxioms(unsigned arraySort, unsigned skolem);
95 void addArrayExtensionalityAxioms(unsigned arraySort, unsigned skolem);
96 void addBooleanArrayWriteAxioms(unsigned arraySort);
97 void addArrayWriteAxioms(unsigned arraySort);
|
| H A D | TheoryAxioms.cpp | 793 Sorts::ArraySort* si = env.sorts->getArraySort(arraySort); in addArrayExtensionalityAxioms()
834 … new Formula::SortList(arraySort, new Formula::SortList(arraySort,0)), in addBooleanArrayExtensionalityAxioms()
845 void TheoryAxioms::addArrayWriteAxioms(unsigned arraySort) in addArrayWriteAxioms() argument
852 Sorts::ArraySort* si = env.sorts->getArraySort(arraySort); in addArrayWriteAxioms()
882 void TheoryAxioms::addBooleanArrayWriteAxioms(unsigned arraySort) in addBooleanArrayWriteAxioms() argument
889 Sorts::ArraySort* si = env.sorts->getArraySort(arraySort); in addBooleanArrayWriteAxioms()
1097 unsigned arraySort = arraySorts.next(); in apply() local
1109 addBooleanArrayExtensionalityAxioms(arraySort, sk); in apply()
1111 addArrayExtensionalityAxioms(arraySort, sk); in apply()
1115 addBooleanArrayWriteAxioms(arraySort); in apply()
[all …]
|
| /dports/devel/pear-Horde_Util/Horde_Util-2.5.9/test/Horde/Util/ |
| H A D | ArrayTest.php | 24 Horde_Array::arraySort($this->array);
39 Horde_Array::arraySort($this->array, 'desc');
|
| /dports/www/e107/e107/e107_plugins/log/ |
| H A D | stats.php | 800 function arraySort($array, $column, $order = SORT_DESC) function in siteStats
863 $totalArray = $this -> arraySort($totalArray, "ttl");
943 $totalArray = $this -> arraySort($totalArray, "ttlv");
1235 $osArray = $this->arraySort($statOs, 0);
1336 $domArray = $this -> arraySort($statDom, 0);
1439 $screenArray = $this -> arraySort($statScreen, 0);
1523 $statArray = $this -> arraySort($statRefer, 'ttl');
1620 $queryArray = $this -> arraySort($statQuery, 0);
1858 $newArray = $this -> arraySort($pagearray, "total");
1877 $newArray = $this -> arraySort($pagearray, "unique");
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/unit/api/ |
| H A D | sort_black.h | 134 Sort arraySort = d_solver.mkArraySort(indexSort, elementSort); in testGetArrayIndexSort() local
135 TS_ASSERT_THROWS_NOTHING(arraySort.getArrayIndexSort()); in testGetArrayIndexSort()
143 Sort arraySort = d_solver.mkArraySort(indexSort, elementSort); in testGetArrayElementSort() local
144 TS_ASSERT_THROWS_NOTHING(arraySort.getArrayElementSort()); in testGetArrayElementSort()
|
| /dports/math/cvc4/CVC4-1.7/examples/api/ |
| H A D | bitvectors_and_arrays-new.cpp | 53 Sort arraySort = slv.mkArraySort(indexSort, elementSort); in main() local
56 Term current_array = slv.mkVar(arraySort, "current_array"); in main()
|
| /dports/www/pomerium/pomerium-0.8.3/vendor/github.com/open-policy-agent/opa/util/ |
| H A D | compare.go | 129 arraySort = iota const
156 return arraySort
|
| /dports/sysutils/istio/istio-1.6.7/vendor/github.com/open-policy-agent/opa/util/ |
| H A D | compare.go | 129 arraySort = iota const
156 return arraySort
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Theory.cpp | 1160 Sorts::ArraySort* arraySort = env.sorts->getArraySort(sort); in getArrayExtSkolemFunction() local
1162 unsigned indexSort = arraySort->getIndexSort(); in getArrayExtSkolemFunction()
1410 OperatorType* Theory::getArrayOperatorType(unsigned arraySort, Interpretation i) { in getArrayOperatorType() argument
1413 Sorts::ArraySort* info = env.sorts->getArraySort(arraySort); in getArrayOperatorType()
1420 return OperatorType::getFunctionType({ arraySort, indexSort }, innerSort); in getArrayOperatorType()
1423 return OperatorType::getPredicateType({ arraySort, indexSort }); in getArrayOperatorType()
1426 return OperatorType::getFunctionType({ arraySort, indexSort, innerSort }, arraySort); in getArrayOperatorType()
|
| /dports/mail/nextcloud-mail/mail/vendor/pear-pear.horde.org/Horde_Util/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/math/asymptote/asymptote-2.67/ |
| H A D | runarray.h | 40 void arraySort(vm::stack *);
|
| /dports/print/texlive-base/texlive-20150521-source/utils/asymptote/ |
| H A D | runarray.h | 40 void arraySort(vm::stack *);
|
| /dports/deskutils/egroupware/egroupware/swoolepush/vendor/pear-pear.horde.org/Horde_Util/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/deskutils/egroupware/egroupware/vendor/pear-pear.horde.org/Horde_Util/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/devel/pear-Horde_Util/Horde_Util-2.5.9/lib/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/sysutils/ldap-account-manager/ldap-account-manager-7.3/lib/3rdParty/composer/pear-pear.horde.org/Horde_Util/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/www/moodle310/moodle/lib/horde/framework/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|
| /dports/www/moodle311/moodle/lib/horde/framework/Horde/ |
| H A D | Array.php | 31 public static function arraySort(array &$array, $key = null, $dir = 0, function in Horde_Array
|