Home
last modified time | relevance | path

Searched refs:Formula (Results 1 – 25 of 3560) sorted by relevance

12345678910>>...143

/dports/math/abs/abs-src-0.908/Examples/
H A Dbenchmarck.abs27 Cells(2,1).Formula="'1+1"
28 Cells(2,2).Formula="=1+1"
29 Cells(2,3).Formula="=2"
32 Cells(2,7).Formula="=11"
35 Cells(3,3).Formula="=0"
38 Cells(3,7).Formula="=17"
41 Cells(4,3).Formula="=6"
47 Cells(5,3).Formula="=4"
59 Cells(7,3).Formula="=2"
62 Cells(8,3).Formula="=2"
[all …]
H A Dcolor.abs12 Cells(1,1).Formula="=1.000000"
14 Cells(1,2).Formula="=2.000000"
16 Cells(1,3).Formula="=3.000000"
18 Cells(1,4).Formula="=4.000000"
20 Cells(1,5).Formula="=5.000000"
22 Cells(1,6).Formula="=6.000000"
24 Cells(1,7).Formula="=7.000000"
26 Cells(1,8).Formula="=8.000000"
28 Cells(2,1).Formula="=9.000000"
30 Cells(2,2).Formula="=10.000000"
[all …]
H A Dfont.abs17 Cells(2,1).Formula="'fixed 6"
21 Cells(2,2).Formula="'fixed 6"
26 Cells(2,3).Formula="'fixed 6"
31 Cells(2,4).Formula="'fixed 6"
37 Cells(3,1).Formula="'fixed 8"
41 Cells(3,2).Formula="'fixed 8"
46 Cells(3,3).Formula="'fixed 8"
51 Cells(3,4).Formula="'fixed 8"
57 Cells(4,1).Formula="'fixed 10"
60 Cells(4,2).Formula="'fixed 10"
[all …]
H A Dproject.abs65 Cells(4,1).Formula="'Task"
130 Cells(5,1).Formula="'WP1000"
141 Cells(6,2).Formula="=5+B5"
143 Cells(6,3).Formula="=8+C5"
154 Cells(7,2).Formula="=5+B6"
156 Cells(7,3).Formula="=8+C6"
170 Cells(8,2).Formula="=5+B7"
172 Cells(8,3).Formula="=8+C7"
191 Cells(9,3).Formula="=8+B9"
203 Cells(10,2).Formula="=5+B9"
[all …]
/dports/print/lyx/lyx-2.3.4.2/lib/fonts/test/
H A Dstmary10.lyx107 \begin_inset Formula $\Yup$
111 \begin_inset Formula $\Ydown$
115 \begin_inset Formula $\Yleft$
135 \begin_inset Formula $\baro$
147 \begin_inset Formula $\moo$
259 \begin_inset Formula $\lbag$
263 \begin_inset Formula $\rbag$
323 \begin_inset Formula $\obar$
339 \begin_inset Formula $\ovee$
379 \begin_inset Formula $\Lbag$
[all …]
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DFormula.hpp111 static Formula* quantify(Formula* f);
116 static Formula* createITE(Formula* condition, Formula* thenArg, Formula* elseArg);
396 Formula::VarList* Formula::vars() in vars()
411 Formula::SortList* Formula::sorts() in sorts()
419 const Formula* Formula::qarg() const in qarg()
426 Formula* Formula::qarg() in qarg()
434 const Formula* Formula::uarg() const in uarg()
442 Formula* Formula::uarg() in uarg()
490 const Formula* Formula::left() const in left()
497 Formula* Formula::left() in left()
[all …]
H A DFormulaTransformer.hpp50 virtual Formula* transform(Formula* f);
56 Formula* apply(Formula* f);
70 virtual Formula* applyJunction(Formula* f);
72 virtual Formula* applyNot(Formula* f);
80 virtual Formula* applyBinary(Formula* f);
98 virtual Formula* applyLiteral(Formula* f);
122 virtual Formula* applyNot(Formula* f);
124 virtual Formula* applyImp(Formula* f);
126 virtual Formula* applyBinary(Formula* f);
156 virtual Formula* transform(Formula* f) = 0;
[all …]
H A DFormula.cpp262 vstring Formula::toString(const Formula* formula) in toString()
557 Formula::VarList* Formula::freeVariables () const in freeVariables()
776 Formula* Formula::trueFormula() in trueFormula()
780 static Formula* res = new Formula(true); in trueFormula()
784 Formula* Formula::falseFormula() in falseFormula()
788 static Formula* res = new Formula(false); in falseFormula()
796 Formula* Formula::createITE(Formula* condition, Formula* thenArg, Formula* elseArg) in createITE()
810 Formula* Formula::createLet(unsigned functor, Formula::VarList* variables, TermList body, Formula* … in createLet()
823 Formula* Formula::createLet(unsigned predicate, Formula::VarList* variables, Formula* body, Formula… in createLet()
832 Formula* Formula::quantify(Formula* f) in quantify()
[all …]
/dports/science/buddy/buddy-2.4/examples/bddcalc/
H A Dexpected2 Formula t3 is a tautology!
16 Formula t383 is a tautology!
17 Formula t394 is a tautology!
18 Formula t504 is a tautology!
19 Formula t515 is a tautology!
20 Formula t530 is a tautology!
21 Formula t541 is a tautology!
22 Formula t552 is a tautology!
23 Formula t563 is a tautology!
24 Formula t597 is a tautology!
[all …]
/dports/textproc/py-xlwt/xlwt-1.3.0/examples/
H A Dformulas.py10 ws.write(0, 0, Formula("-(1+1)"))
11 ws.write(1, 0, Formula("-(1+1)/(-2-2)"))
14 ws.write(4, 0, Formula("-1/(1+1)+9344"))
16 ws.write(0, 1, Formula("-(1+1)"))
22 ws.write(0, 2, Formula("A1*B1"))
23 ws.write(1, 2, Formula("A2*B2"))
24 ws.write(2, 2, Formula("A3*B3"))
34 ws.write(5, 3, Formula("C1^2"))
41 ws.write(8, 2, Formula('now()'))
43 ws.write(10, 2, Formula('TRUE'))
[all …]
/dports/math/ctl-sat/CTLSAT-6de41e0/parser/
H A DCTLParser.h30 Formula * parse(string f);
35 static Formula * T();
38 static Formula * AF(Formula * f);
39 static Formula * AG(Formula * f);
40 static Formula * EF(Formula * f);
41 static Formula * EG(Formula * f);
45 Formula * parseRecursive(string f, uint * idx, char nt);
47 Formula * applyRule1(stack <char> * stck, string f, uint * idx);
57 Formula * applyRule13(stack <char> * stck, Formula * last_formula, string f, uint * idx);
58 Formula * applyRule14(stack <char> * stck, Formula * last_formula, string f, uint * idx);
[all …]
H A DCTLParser.cpp271 Formula * CTLParser::parse(string f){ in parse()
403 Formula * CTLParser::T(){ in T()
407 Formula * CTLParser::AF(Formula * f){ in AF()
413 Formula * CTLParser::AG(Formula * f){ in AG()
419 Formula * CTLParser::EF(Formula * f){ in EF()
425 Formula * CTLParser::EG(Formula * f){ in EG()
631 Formula * CTLParser::applyRule13(stack <char> * stck, Formula * last_formula, string f, uint * idx){ in applyRule13()
637 Formula * formula = parseRecursive(f,idx,'S'); in applyRule13()
646 Formula * CTLParser::applyRule14(stack <char> * stck, Formula * last_formula, string f, uint * idx){ in applyRule14()
652 Formula * formula = parseRecursive(f,idx,'S'); in applyRule14()
[all …]
/dports/lang/maude/maude-2.7.1/src/Main/
H A Dmodel-checker.maude83 PE-Formula PU-Formula < Formula .
87 op _/\_ : PE-Formula PE-Formula -> PE-Formula [ctor ditto] .
88 op _/\_ : PU-Formula PU-Formula -> PU-Formula [ctor ditto] .
90 op _\/_ : PE-Formula PE-Formula -> PE-Formula [ctor ditto] .
96 op _U_ : PE-Formula PE-Formula -> PE-Formula [ctor ditto] .
97 op _U_ : PU-Formula PU-Formula -> PU-Formula [ctor ditto] .
101 op _R_ : PE-Formula PE-Formula -> PE-Formula [ctor ditto] .
102 op _R_ : PU-Formula PU-Formula -> PU-Formula [ctor ditto] .
193 op-hook andSymbol (_/\_ : Formula Formula ~> Formula)
194 op-hook orSymbol (_\/_ : Formula Formula ~> Formula)
[all …]
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/core/math/
H A Dformula.h289 class Formula {
324 Formula(const Formula& source);
330 Formula(Formula&& source);
335 ~Formula();
348 Formula& operator=(const Formula& source);
355 Formula& operator=(Formula&& source);
532 Formula operator-(const Formula& a);
534 Formula operator+(const Formula& a, const Formula& b);
536 Formula operator-(const Formula& a, const Formula& b);
538 Formula operator*(const Formula& a, const Formula& b);
[all …]
H A Dformula.cpp197 Formula::Formula(int i) : _formula_(std::to_string(i)), _last_token_(FormulaPart()) { in Formula() function in gum::Formula
222 Formula::Formula(unsigned long long ul) : in Formula() function in gum::Formula
238 Formula::Formula(const std::string& f) : _formula_(f), _last_token_(FormulaPart()) { in Formula() function in gum::Formula
244 Formula::Formula(const Formula& source) : in Formula() function in gum::Formula
247 GUM_CONS_CPY(Formula); in Formula()
252 Formula::Formula(Formula&& source) : in Formula() function in gum::Formula
256 GUM_CONS_CPY(Formula); in Formula()
261 Formula::~Formula() { in ~Formula()
262 GUM_DESTRUCTOR(Formula); in ~Formula()
266 Formula& Formula::operator=(const Formula& source) { in operator =()
[all …]
H A Dformula_inl.h264 void Formula::_push_operator_(char o) { in _push_operator_()
275 bool Formula::_isUnaryOperator_(char o) { in _isUnaryOperator_()
311 void Formula::_push_leftParenthesis_() { in _push_leftParenthesis_()
317 void Formula::_push_rightParenthesis_() { in _push_rightParenthesis_()
340 void Formula::_finalize_() { in _finalize_()
404 void Formula::_push_comma_() { in _push_comma_()
451 Formula operator-(const Formula& a) { return Formula(std::to_string(-1 * a.result())); }
454 Formula operator+(const Formula& a, const Formula& b) {
459 Formula operator-(const Formula& a, const Formula& b) {
464 Formula operator*(const Formula& a, const Formula& b) {
[all …]
/dports/math/minizinc/libminizinc-2.5.5/tests/spec/examples/
H A Dsimple_sat.mzn26 ( ( Formula[1] > 0 ) == assignment[1] ) \/
27 ( ( Formula[2] > 0 ) == assignment[2] ) \/
28 ( ( Formula[3] > 0 ) == assignment[3] )
32 ( ( Formula[4] > 0 ) == assignment[1] ) \/
33 ( ( Formula[5] > 0 ) == assignment[2] ) \/
34 ( ( Formula[6] > 0 ) == assignment[3] )
40 ( ( Formula[9] > 0 ) == assignment[3] )
46 ( ( Formula[12] > 0 ) == assignment[3] )
52 ( ( Formula[15] > 0 ) == assignment[3] )
58 ( ( Formula[18] > 0 ) == assignment[3] )
[all …]
/dports/math/R-cran-Formula/Formula/
H A DNAMESPACE4 "Formula",
5 "as.Formula",
6 "is.Formula",
11 ## methods for class "Formula"
12 S3method("formula", "Formula")
13 S3method("terms", "Formula")
16 S3method("update", "Formula")
18 S3method("print", "Formula")
20 S3method("str", "Formula")
22 ## methods to as.Formula()
[all …]
/dports/security/libecc/libecc-0.14.0/doc/
H A Dcyclic.dox23 The <em>order</em> <SPAN class="Formula">n</SPAN> of a point <SPAN class="Formula">P</SPAN>
32 Let <SPAN class="Formula">P</SPAN> be the integer <SPAN class="Formula">3</SPAN> and let
68 <SPAN class="Formula">s</SPAN> and <SPAN class="Formula">t</SPAN> such that
115 for arbitrary <SPAN class="Formula">y</SPAN> and <SPAN class="Formula">n</SPAN> there
267 <SPAN class="Formula">kiP = 0</SPAN> and <SPAN class="Formula">kjQ = 0</SPAN>.&nbsp;
338 <SPAN class="Formula">n</SPAN> and <SPAN class="Formula">m</SPAN> are coprime.</DIV>
511 <SPAN class="Formula">1</SPAN> time a <SPAN class="Formula">1</SPAN>,
512 <SPAN class="Formula">3 - 1</SPAN> times a <SPAN class="Formula">3</SPAN>,
513 <SPAN class="Formula">9 - 3</SPAN> times a <SPAN class="Formula">9</SPAN> and
514 <SPAN class="Formula">27 - 9</SPAN> times a <SPAN class="Formula">27</SPAN>.
[all …]
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/testunits/module_BASE/
H A DFormulaTestSuite.h43 gum::Formula formula(eq); in testConstantInt()
56 gum::Formula formula(eq); in testConstantFloat()
69 gum::Formula formula(eq); in testMultiplication()
82 gum::Formula formula(eq); in testDivision()
95 gum::Formula formula(eq); in testAddition()
108 gum::Formula formula(eq); in testSubstraction()
121 gum::Formula formula(eq); in testSimplePriority1()
134 gum::Formula formula(eq); in testSimplePriority2()
147 gum::Formula formula(eq); in testComplexPriority()
160 gum::Formula formula(eq); in testMinusSign()
[all …]
/dports/math/vampire/vampire-4.5.1/Shell/
H A DFOOLElimination.cpp87 Formula* formula = sfi.next(); in needsElimination()
180 Formula* FOOLElimination::process(Formula* formula) { in process()
397 Formula* dummy; in process()
407 Formula* formula; in processAsFormula()
603 Formula::VarList* vars = Formula::VarList::append(bodyFreeVars, argumentVars); in process()
789 Formula* dummy; in process()
802 Formula* formula; in processAsFormula()
848 Formula* dummy; in buildFunctionApplication()
858 Formula* FOOLElimination::buildPredicateApplication(unsigned predicate, Formula::VarList* vars) { in buildPredicateApplication()
862 Formula* predicateApplication; in buildPredicateApplication()
[all …]
H A DFOOLElimination.hpp67 Formula* process(Formula* f);
76 void process(TermList ts, Context context, TermList& termResult, Formula*& formulaResult);
77 void process(Term* term, Context context, TermList& termResult, Formula*& formulaResult);
81 Formula* processAsFormula(TermList terms);
85 Formula* processAsFormula(Term* term);
88 static void buildApplication(unsigned function, Formula::VarList* vars, Context context,
91 static TermList buildFunctionApplication(unsigned function, Formula::VarList* vars);
92 static Formula* buildPredicateApplication(unsigned predicate, Formula::VarList* vars);
96 static Formula* buildEq(Context context, Formula* lhsFormula, Formula* rhsFormula,
101 Stack<unsigned> collectSorts(Formula::VarList* vars);
[all …]
/dports/biology/py-python-libsbml/python-libsbml-5.19.0/libsbml_source/src/bindings/matlab/
H A DCheckAndConvert.m62 Formula = strrep(Formula, 'arccot', 'acot'); variable
64 Formula = strrep(Formula, 'arccoth', 'acoth'); variable
66 Formula = strrep(Formula, 'arccsc', 'acsc'); variable
70 Formula = strrep(Formula, 'arcsec', 'asec'); variable
80 Formula = strrep(Formula, 'geq', 'ge'); variable
82 Formula = strrep(Formula, 'leq', 'le'); variable
84 Formula = strrep(Formula, 'neq', 'ne'); variable
86 Formula = strrep(Formula, 'pow', 'power'); variable
89 Formula = SortLogicals(Formula); variable
92 Formula = strrep(Formula, 'log(2,', 'log2('); variable
[all …]
/dports/biology/libsbml/libsbml-5.19.0/src/bindings/matlab/
H A DCheckAndConvert.m62 Formula = strrep(Formula, 'arccot', 'acot'); variable
64 Formula = strrep(Formula, 'arccoth', 'acoth'); variable
66 Formula = strrep(Formula, 'arccsc', 'acsc'); variable
70 Formula = strrep(Formula, 'arcsec', 'asec'); variable
80 Formula = strrep(Formula, 'geq', 'ge'); variable
82 Formula = strrep(Formula, 'leq', 'le'); variable
84 Formula = strrep(Formula, 'neq', 'ne'); variable
86 Formula = strrep(Formula, 'pow', 'power'); variable
89 Formula = SortLogicals(Formula); variable
92 Formula = strrep(Formula, 'log(2,', 'log2('); variable
[all …]
/dports/science/massxpert/massxpert-c229f4a1abde3c20b83a90e50f9c5d79104dfa5f/lib/
H A Dformula.cpp59 Formula::Formula(const QString &formula) in Formula() function in massXpert::Formula
71 Formula::Formula(const Formula &other) in Formula() function in massXpert::Formula
88 Formula::~Formula() in ~Formula()
119 Formula *other = new Formula(*this); in clone()
130 Formula::clone(Formula *other) const in clone()
163 Formula::mold(const Formula &other) in mold()
194 Formula &
195 Formula::operator =(const Formula &other) in operator =()
222 Formula::setFormula(const Formula &formula) in setFormula()
309 Formula::operator ==(const Formula &other) const in operator ==()
[all …]

12345678910>>...143