| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_formulafunc.c | 183 Clause_p TformulaCollectClause(TFormula_p form, TB_p terms, in TformulaCollectClause()
280 TFormula_p form, in TFormulaAnnotateQuestion()
366 long FormulaSetPreprocConjectures(FormulaSet_p set, in FormulaSetPreprocConjectures()
407 bool WFormulaSimplify(WFormula_p form, TB_p terms) in WFormulaSimplify()
439 long WFormulaCNF(WFormula_p form, ClauseSet_p set, in WFormulaCNF()
468 long WFormulaCNF2(WFormula_p form, ClauseSet_p set, in WFormulaCNF2()
557 WFormula_p form, handle; in FormulaSetCNF() local
622 WFormula_p form, handle; in FormulaSetCNF2() local
692 WFormula_p form, nextform; in FormulaAndClauseSetParse() local
812 long TFormulaToCNF(WFormula_p form, FormulaProperties type, ClauseSet_p set, in TFormulaToCNF()
[all …]
|
| H A D | ccl_formulasets.c | 63 FormulaSet_p set = FormulaSetCellAlloc(); in FormulaSetAlloc() local
86 void FormulaSetFreeFormulas(FormulaSet_p set) in FormulaSetFreeFormulas()
108 void FormulaSetFree(FormulaSet_p set) in FormulaSetFree()
160 void FormulaSetGCMarkCells(FormulaSet_p set) in FormulaSetGCMarkCells()
185 void FormulaSetMarkPolarity(FormulaSet_p set) in FormulaSetMarkPolarity()
267 WFormula_p FormulaSetExtractEntry(WFormula_p form) in FormulaSetExtractEntry()
295 WFormula_p FormulaSetExtractFirst(FormulaSet_p set) in FormulaSetExtractFirst()
319 void FormulaSetDeleteEntry(WFormula_p form) in FormulaSetDeleteEntry()
368 bool FormulaSetHasInterpretedSymbol(FormulaSet_p set) in FormulaSetHasInterpretedSymbol()
401 long FormulaSetSplitConjectures(FormulaSet_p set, in FormulaSetSplitConjectures()
[all …]
|
| H A D | ccl_formula_wrapper.h | 45 struct formula_set_cell* set; /* Is the formula in a set? */ member
60 #define FormulaSetProp(form, prop) SetProp((form), (prop)) argument
61 #define FormulaDelProp(form, prop) DelProp((form), (prop)) argument
62 #define FormulaGiveProps(form, prop) GiveProps((form), (prop)) argument
65 #define FormulaQueryProp(form, prop) QueryProp((form), (prop)) argument
67 #define FormulaIsAnyPropSet(form, prop) IsAnyPropSet((form), (prop)) argument
68 #define FormulaSetType(form, type) \ argument
71 #define FormulaQueryType(form) ((form)->properties&CPTypeMask) argument
73 #define FormulaIsHypothesis(form) (FormulaQueryType(form)==CPTypeHypothesis) argument
74 #define FormulaIsConjecture(form) \ argument
[all …]
|
| H A D | ccl_formulasets.h | 54 #define FormulaSetCardinality(set) ((set)->members) argument
55 #define FormulaSetEmpty(set)\ argument
64 #define FormulaSetMoveFormula(set, form) \ argument
|
| H A D | ccl_sine.c | 232 WFormula_p form) in DRelationAddFormula()
279 ClauseSet_p set) in DRelationAddClauseSet()
314 FormulaSet_p set) in DRelationAddFormulaSet()
428 void PQueueStoreFormula(PQueue_p axioms, WFormula_p form) in PQueueStoreFormula()
448 long ClauseSetFindAxSelectionSeeds(ClauseSet_p set, PQueue_p res, bool inc_hypos) in ClauseSetFindAxSelectionSeeds()
527 WFormula_p form; in SelectDefiningAxioms() local
874 WFormula_p form; in PStackFormulaDelProp() local
925 WFormula_p form; in PStackFormulaPrintTSTP() local
947 void PStackClausesMove(PStack_p stack, ClauseSet_p set) in PStackClausesMove()
972 void PStackFormulasMove(PStack_p stack, FormulaSet_p set) in PStackFormulasMove()
[all …]
|
| /dports/databases/pgadmin3/pgadmin3-1.22.2/pgadmin/slony/ |
| H A D | slSet.cpp | 153 pgSet *set = GetDatabase()->ExecuteSet( in ShowDependencies() local
276 pgObject *set = 0; in Refresh() local
288 slSet *set = 0; in CreateObjects() local
464 slSet *set = (slSet *)obj; in CheckEnable() local
478 wxWindow *slonyLockSetFactory::StartDialog(frmMain *form, pgObject *obj) in StartDialog()
480 slSet *set = (slSet *)obj; in StartDialog() local
496 slSet *set = (slSet *)obj; in CheckEnable() local
512 slSet *set = (slSet *)obj; in StartDialog() local
528 slSet *set = (slSet *)obj; in CheckEnable() local
543 wxWindow *slonyMoveSetFactory::StartDialog(frmMain *form, pgObject *obj) in StartDialog()
[all …]
|
| /dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/bpgl/icam/ |
| H A D | icam_transform_2d.h | 34 icam_transform_2d(vgl_h_matrix_2d<double> const& xform, Form form) in icam_transform_2d()
47 Form form() const {return form_;} in form() function
48 void set_form(Form form) { form_ = form; } in set_form()
51 void set(vnl_matrix_fixed<double,3,3> const& t_matrix) { vgl_h_matrix_2d<double>::set(t_matrix); } in set() function
|
| /dports/x11-toolkits/xforms/xforms-1.2.4/demos/ |
| H A D | nmenu.c | 35 int set[ 4 ]; variable
44 FL_FORM *form; in main() local
133 FL_FORM *form; in create_form() local
|
| H A D | menu.c | 40 int set[ 4 ]; variable
49 FL_FORM *form; in main() local
152 FL_FORM *form; in create_form() local
|
| /dports/www/mybb/mybb-mybb_1829/admin/modules/style/ |
| H A D | templates.php | 157 $form = new Form("index.php?module=style-templates&action=add_set", "post", "add_set"); variable
294 …$form = new Form("index.php?module=style-templates&action=add_template{$expand_str}", "post", … variable
441 $set = $db->fetch_array($query); variable
501 …$form = new Form("index.php?module=style-templates&action=edit_set{$expand_str}", "post", "edi… variable
586 $set = $db->fetch_array($query); variable
851 $form = new Form("index.php?module=style-templates&action=edit_template_group", "post"); variable
905 while($set = $db->fetch_array($query)) variable
1077 while($set = $db->fetch_array($query)) variable
1224 …$form = new Form("index.php?module=style-templates&action=search_replace", "post", "do_templat… variable
1242 $form = new Form("index.php?module=style-templates&action=search_replace", "post", "do_title"); variable
[all …]
|
| /dports/www/phalcon/cphalcon-3.4.5/ext/phalcon/forms/ |
| H A D | manager.zep.c | 46 zval *name_param = NULL, *entity = NULL, *form = NULL; in PHP_METHOD() local
73 zval *name_param = NULL, *form = NULL, *_0, *_1$$3; in PHP_METHOD() local
121 PHP_METHOD(Phalcon_Forms_Manager, set) { in PHP_METHOD() argument
123 zval *name_param = NULL, *form; in PHP_METHOD() local
|
| /dports/databases/libgda5/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/databases/libgda5-bdb/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/audio/pms-devel/pms-c94e3c6/vendor/golang.org/x/sys/unix/ |
| H A D | pledge_openbsd.go | 18 // before 6.3.
19 //
46 exptr, err := syscall.BytePtrFromString(execpromises)
|
| /dports/databases/libgda5-postgresql/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/databases/libgda5-mysql/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/databases/libgda5-ldap/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/databases/libgda5-jdbc/libgda-5.2.10/libgda-ui/demos/ |
| H A D | basic_form.c | 18 GtkWidget *form; in do_basic_form() local
46 GdaSet *set; in do_basic_form() local
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/lldb/source/Plugins/SymbolFile/DWARF/ |
| H A D | DWARFAttribute.h | 21 DWARFAttribute(dw_attr_t attr, dw_form_t form, in DWARFAttribute()
25 void set(dw_attr_t attr, dw_form_t form) { in set() function
31 void get(dw_attr_t &attr, dw_form_t &form, in get()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/lldb/source/Plugins/SymbolFile/DWARF/ |
| H A D | DWARFAttribute.h | 21 DWARFAttribute(dw_attr_t attr, dw_form_t form, in DWARFAttribute()
25 void set(dw_attr_t attr, dw_form_t form) { in set() function
31 void get(dw_attr_t &attr, dw_form_t &form, in get()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/lldb/source/Plugins/SymbolFile/DWARF/ |
| H A D | DWARFAttribute.h | 21 DWARFAttribute(dw_attr_t attr, dw_form_t form, in DWARFAttribute()
25 void set(dw_attr_t attr, dw_form_t form) { in set() function
31 void get(dw_attr_t &attr, dw_form_t &form, in get()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/lldb/source/Plugins/SymbolFile/DWARF/ |
| H A D | DWARFAttribute.h | 21 DWARFAttribute(dw_attr_t attr, dw_form_t form, in DWARFAttribute()
25 void set(dw_attr_t attr, dw_form_t form) { in set() function
31 void get(dw_attr_t &attr, dw_form_t &form, in get()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/lldb/source/Plugins/SymbolFile/DWARF/ |
| H A D | DWARFAttribute.h | 21 DWARFAttribute(dw_attr_t attr, dw_form_t form, in DWARFAttribute()
25 void set(dw_attr_t attr, dw_form_t form) { in set() function
31 void get(dw_attr_t &attr, dw_form_t &form, in get()
|
| /dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/bpgl/ihog/ |
| H A D | ihog_transform_2d.h | 42 ihog_transform_2d(const vgl_h_matrix_2d<double>& xform, Form form) in ihog_transform_2d()
48 Form form() const {return form_;} in form() function
49 void set_form(const Form form) {form_ = form;} in set_form()
52 void set(vnl_double_3x3 const& t_matrix) { vgl_h_matrix_2d<double>::set(t_matrix); } in set() function
|
| /dports/www/phalcon4/cphalcon-4.1.1/phalcon/Forms/ |
| H A D | Manager.zep | 60 public function set(string name, <Form> form) -> <Manager> function in Phalcon\\Forms\\Manager
|