| /dports/editors/libreoffice/libreoffice-7.2.6.2/qadevOOo/objdsc/sm/ |
| H A D | math.SmModel.csv | 1 "SmModel";"com::sun::star::formula::FormulaProperties";"Alignment"
2 "SmModel";"com::sun::star::formula::FormulaProperties";"BaseFontHeight"
3 "SmModel";"com::sun::star::formula::FormulaProperties";"CustomFontNameFixed"
4 "SmModel";"com::sun::star::formula::FormulaProperties";"FontFixedIsItalic"
5 "SmModel";"com::sun::star::formula::FormulaProperties";"FontFixedIsBold"
7 "SmModel";"com::sun::star::formula::FormulaProperties";"FontSansIsItalic"
8 "SmModel";"com::sun::star::formula::FormulaProperties";"FontSansIsBold"
18 "SmModel";"com::sun::star::formula::FormulaProperties";"FontNameText"
24 "SmModel";"com::sun::star::formula::FormulaProperties";"Formula"
26 "SmModel";"com::sun::star::formula::FormulaProperties";"IsTextMode"
[all …]
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/qadevOOo/objdsc/sm/ |
| H A D | math.SmModel.csv | 1 "SmModel";"com::sun::star::formula::FormulaProperties";"Alignment"
2 "SmModel";"com::sun::star::formula::FormulaProperties";"BaseFontHeight"
3 "SmModel";"com::sun::star::formula::FormulaProperties";"CustomFontNameFixed"
4 "SmModel";"com::sun::star::formula::FormulaProperties";"FontFixedIsItalic"
5 "SmModel";"com::sun::star::formula::FormulaProperties";"FontFixedIsBold"
7 "SmModel";"com::sun::star::formula::FormulaProperties";"FontSansIsItalic"
8 "SmModel";"com::sun::star::formula::FormulaProperties";"FontSansIsBold"
18 "SmModel";"com::sun::star::formula::FormulaProperties";"FontNameText"
24 "SmModel";"com::sun::star::formula::FormulaProperties";"Formula"
26 "SmModel";"com::sun::star::formula::FormulaProperties";"IsTextMode"
[all …]
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_clausesets.h | 104 void ClauseSetSetProp(ClauseSet_p set, FormulaProperties prop);
105 void ClauseSetDelProp(ClauseSet_p set, FormulaProperties prop);
106 void ClauseSetSetTPTPType(ClauseSet_p set, FormulaProperties type);
140 FormulaProperties prop,
|
| H A D | ccl_formula_wrapper.c | 255 FormulaProperties type; in WFormulaTPTPParse()
361 FormulaProperties type = CPTypeAxiom; in WFormulaTSTPParse()
362 FormulaProperties initial = CPInputFormula; in WFormulaTSTPParse()
401 type = (FormulaProperties) in WFormulaTSTPParse()
577 wform->properties = (FormulaProperties)handle->properties; in WFormClauseParse()
|
| H A D | ccl_formulafunc.h | 80 long FormulaToCNF(WFormula_p form, FormulaProperties type,
82 long TFormulaToCNF(WFormula_p form, FormulaProperties type, ClauseSet_p set,
|
| H A D | ccl_sine.h | 163 void PStackClauseDelProp(PStack_p stack, FormulaProperties prop);
164 void PStackFormulaDelProp(PStack_p stack, FormulaProperties prop);
|
| H A D | ccl_clauses.h | 122 }FormulaProperties; typedef
139 FormulaProperties properties; /* Anything we want to note at
188 void ClauseSetTPTPType(Clause_p clause, FormulaProperties type);
315 FormulaProperties ClauseTypeParse(Scanner_p in, char *legal_types);
|
| H A D | ccl_formulasets.h | 78 void FormulaStackCondSetType(PStack_p stack, FormulaProperties type);
|
| H A D | ccl_proofstate.h | 152 FormulaProperties prop,
|
| H A D | ccl_formula_wrapper.h | 38 FormulaProperties properties;
|
| H A D | ccl_clauses.c | 232 void ClauseSetTPTPType(Clause_p clause, FormulaProperties type) in ClauseSetTPTPType()
1649 FormulaProperties ClauseTypeParse(Scanner_p in, char *legal_types) in ClauseTypeParse()
1651 FormulaProperties res; in ClauseTypeParse()
1710 FormulaProperties type = CPTypeAxiom; in ClauseParse()
1711 FormulaProperties input = CPInputFormula; in ClauseParse()
|
| H A D | ccl_inferencedoc.h | 121 char* PCLTypeStr(FormulaProperties type);
|
| H A D | ccl_clausesets.c | 912 void ClauseSetSetProp(ClauseSet_p set, FormulaProperties prop) in ClauseSetSetProp()
936 void ClauseSetDelProp(ClauseSet_p set, FormulaProperties prop) in ClauseSetDelProp()
960 void ClauseSetSetTPTPType(ClauseSet_p set, FormulaProperties type) in ClauseSetSetTPTPType()
1662 void ClauseSetPropDocQuote(FILE* out, long level, FormulaProperties prop, in ClauseSetPropDocQuote()
|
| H A D | ccl_sine.c | 845 void PStackClauseDelProp(PStack_p stack, FormulaProperties prop) in PStackClauseDelProp()
871 void PStackFormulaDelProp(PStack_p stack, FormulaProperties prop) in PStackFormulaDelProp()
|
| H A D | ccl_formulasets.c | 499 void FormulaStackCondSetType(PStack_p stack, FormulaProperties type) in FormulaStackCondSetType()
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/offapi/com/sun/star/formula/ |
| H A D | FormulaProperties.idl | 29 published service FormulaProperties
153 com::sun::star::formula::FormulaProperties::BaseFontHeight
160 com::sun::star::formula::FormulaProperties::BaseFontHeight
167 com::sun::star::formula::FormulaProperties::BaseFontHeight
174 com::sun::star::formula::FormulaProperties::BaseFontHeight
181 com::sun::star::formula::FormulaProperties::BaseFontHeight
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/offapi/com/sun/star/formula/ |
| H A D | FormulaProperties.idl | 29 published service FormulaProperties
153 com::sun::star::formula::FormulaProperties::BaseFontHeight
160 com::sun::star::formula::FormulaProperties::BaseFontHeight
167 com::sun::star::formula::FormulaProperties::BaseFontHeight
174 com::sun::star::formula::FormulaProperties::BaseFontHeight
181 com::sun::star::formula::FormulaProperties::BaseFontHeight
|
| /dports/math/eprover/eprover-E-2.0/ANALYSIS/ |
| H A D | can_clausestore.h | 43 FormulaProperties properties;
|
| /dports/math/cantor/cantor-21.12.3/src/lib/ |
| H A D | renderer.h | 26 enum FormulaProperties {CantorFormula = 1, ImagePath = 2, Code = 3, enum
|
| /dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
| H A D | che_hcb.h | 218 FormulaProperties prop);
|
| /dports/sysutils/docker-registry/distribution-2.7.1/vendor/github.com/Azure/azure-sdk-for-go/azure-sdk-for-go-16.2.1/profiles/preview/preview/devtestlabs/mgmt/dtl/ |
| H A D | models.go | 172 type FormulaProperties = original.FormulaProperties talias
|
| /dports/net-mgmt/bosun/bosun-0.9.0-preview/vendor/github.com/Azure/azure-sdk-for-go/profiles/preview/preview/devtestlabs/mgmt/dtl/ |
| H A D | models.go | 172 type FormulaProperties = original.FormulaProperties talias
|
| /dports/security/vuls/vuls-0.13.7/vendor/github.com/Azure/azure-sdk-for-go/profiles/preview/preview/devtestlabs/mgmt/dtl/ |
| H A D | models.go | 173 type FormulaProperties = original.FormulaProperties talias
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/Azure/azure-sdk-for-go/profiles/preview/preview/devtestlabs/mgmt/dtl/ |
| H A D | models.go | 163 type FormulaProperties = original.FormulaProperties talias
|
| /dports/www/grafana8/azure-sdk-for-go-sdk-azidentity-v0.10.0/profiles/preview/preview/devtestlabs/mgmt/dtl/ |
| H A D | models.go | 163 type FormulaProperties = original.FormulaProperties talias
|