| /dports/java/servingxml/servingxml-1.1.2/servingxml-framework/src/main/java/com/servingxml/components/recordmapping/ |
| H A D | SortComparator.java | 35 private final Sort[] sorts; field in SortComparator
37 public SortComparator(Sort[] sorts) { in SortComparator()
|
| H A D | GenerateCDataFactoryAssembler.java | 45 private Sort[] sorts = new Sort[0]; field in GenerateCDataFactoryAssembler
55 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | GenerateElementFactoryAssembler.java | 52 private Sort[] sorts = new Sort[0]; field in GenerateElementFactoryAssembler
66 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | ElementMapFactoryAssembler.java | 51 private Sort[] sorts = new Sort[0]; field in ElementMapFactoryAssembler
65 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | InnerGroupFactoryAssembler.java | 49 private Sort[] sorts = new Sort[0]; field in InnerGroupFactoryAssembler
70 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | OuterGroupFactoryAssembler.java | 49 private Sort[] sorts = new Sort[0]; field in OuterGroupFactoryAssembler
70 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | GroupByFactoryAssembler.java | 53 private Sort[] sorts = new Sort[0]; field in GroupByFactoryAssembler
64 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| H A D | LiteralContentAssembler.java | 61 private Sort[] sorts = new Sort[0]; field in LiteralContentAssembler
72 public void injectComponent(Sort[] sorts) { in injectComponent()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Sorts.hpp | 142 TupleSort(vstring name, unsigned id, unsigned arity, unsigned sorts[]) in TupleSort()
150 unsigned* sorts() { return _sorts.array(); } in sorts() function in Kernel::Sorts::TupleSort
250 static OperatorType* getPredicateType(unsigned arity, const unsigned* sorts=0) { in getPredicateType()
258 static OperatorType* getPredicateType(std::initializer_list<unsigned> sorts) { in getPredicateType()
274 static OperatorType* getFunctionType(unsigned arity, const unsigned* sorts, unsigned resultSort) { in getFunctionType()
282 static OperatorType* getFunctionType(std::initializer_list<unsigned> sorts, unsigned resultSort) { in getFunctionType()
|
| H A D | Sorts.cpp | 168 unsigned Sorts::addTupleSort(unsigned arity, unsigned sorts[]) in addTupleSort()
232 OperatorType::OperatorKey* OperatorType::setupKey(unsigned arity, const unsigned* sorts) in setupKey()
255 OperatorType::OperatorKey* OperatorType::setupKey(std::initializer_list<unsigned> sorts) in setupKey()
|
| /dports/chinese/libime/libime-1.0.9/src/libime/core/kenlm/lm/interpolate/ |
| H A D | pipeline.cc | 46 …l::stream::SortConfig &config, util::stream::Chains &chains, util::stream::Sorts<Compare> &sorts) { in SinkSort()
52 …class Compare> void SourceSort(util::stream::Chains &chains, util::stream::Sorts<Compare> &sorts) { in SourceSort()
106 util::stream::Sorts<ContextOrder> sorts(merged_probs.size()); in Pipeline() local
145 util::stream::Sorts<SuffixOrder> sorts(probabilities.size()); in Pipeline() local
|
| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_parsers.cpp | 58 ptr_vector<sort> sorts; in parse_smtlib2_stream() local
122 Z3_sort const sorts[], in Z3_parse_smtlib2_string()
138 Z3_sort const sorts[], in Z3_parse_smtlib2_file()
|
| /dports/devel/gmake/make-4.3/tests/scripts/features/ |
| H A D | include | 52 # Try to build the "error" target; this will fail since we don't know
118
131 "#MAKE#: *** No rule to make target 'baz', needed by 'bar'. Stop.\n",
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/bv/ |
| H A D | bvarray2uf_rewriter.cpp | 147 sort * sorts[1] = { get_index_sort(args[0]->get_sort()) }; in reduce_app() local
170 sort * sorts[1] = { get_index_sort(args[1]->get_sort()) }; in reduce_app() local
261 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
289 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
328 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/bv/ |
| H A D | bvarray2uf_rewriter.cpp | 147 sort * sorts[1] = { get_index_sort(m_manager.get_sort(args[0])) }; in reduce_app() local
170 sort * sorts[1] = { get_index_sort(m_manager.get_sort(args[1])) }; in reduce_app() local
261 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
289 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
328 sort * sorts[1] = { get_index_sort(f->get_range()) }; in reduce_app() local
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System/compmod/system/componentmodel/ |
| H A D | ListSortDescriptionCollection.cs | 15 ArrayList sorts = new ArrayList(); field in System.ComponentModel.ListSortDescriptionCollection
26 public ListSortDescriptionCollection(ListSortDescription[] sorts) { in ListSortDescriptionCollection()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | var_subst.cpp | 196 …xpr_sparse_mark& mark, ptr_vector<expr>& todo, unsigned offset, expr* e, ptr_vector<sort>& sorts) { in get_free_vars_offset()
239 void get_free_vars(expr* e, ptr_vector<sort>& sorts) { in get_free_vars()
245 void get_free_vars(expr_sparse_mark& mark, ptr_vector<expr>& todo, expr* e, ptr_vector<sort>& sorts… in get_free_vars()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/sql/kernel/ |
| H A D | qsqlindex.h | 85 QList<bool> sorts; in QT_MODULE() local
|
| /dports/databases/qt5-sqldrivers-tds/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/databases/qt5-sqldrivers-sqlite2/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/databases/qt5-sqldrivers-sqlite3/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/x11-toolkits/qt5-widgets/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/devel/qt5-qmake/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/textproc/qt5-xml/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|
| /dports/databases/qt5-sql/kde-qtbase-5.15.2p263/src/sql/kernel/ |
| H A D | qsqlindex.h | 76 QVector<bool> sorts; variable
|