formulas (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:formulas (Results 1 – 25 of 3218) sorted by relevance

12 3 4 5 6 7 8 9 10 >>...129

/dports/math/ctl-sat/CTLSAT-6de41e0/Debug/formulas/
H A D	subdir.mk	`8 ../formulas/AllUntil.cpp \ 9 ../formulas/Atom.cpp \ 18 ./formulas/AllUntil.o \ 19 ./formulas/Atom.o \ 23 ./formulas/Formula.o \ 24 ./formulas/Negation.o 28 ./formulas/AllUntil.d \ 29 ./formulas/Atom.d \ 33 ./formulas/Formula.d \ 34 ./formulas/Negation.d [all …]`
H A D	Atom.d	`1 formulas/Atom.d: ../formulas/Atom.cpp ../formulas/Atom.h \ 2 ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/Atom.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
H A D	Conjunction.d	`1 formulas/Conjunction.d: ../formulas/Conjunction.cpp \ 2 ../formulas/Conjunction.h ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/Conjunction.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
H A D	ExistsTomorrow.d	`1 formulas/ExistsTomorrow.d: ../formulas/ExistsTomorrow.cpp \ 2 ../formulas/ExistsTomorrow.h ../formulas/Formula.h \ 3 ../formulas/../common.h 5 ../formulas/ExistsTomorrow.h: 7 ../formulas/Formula.h: 9 ../formulas/../common.h:`
H A D	AllTomorrow.d	`1 formulas/AllTomorrow.d: ../formulas/AllTomorrow.cpp \ 2 ../formulas/AllTomorrow.h ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/AllTomorrow.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
H A D	AllUntil.d	`1 formulas/AllUntil.d: ../formulas/AllUntil.cpp ../formulas/AllUntil.h \ 2 ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/AllUntil.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
H A D	ExistsUntil.d	`1 formulas/ExistsUntil.d: ../formulas/ExistsUntil.cpp \ 2 ../formulas/ExistsUntil.h ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/ExistsUntil.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
H A D	Negation.d	`1 formulas/Negation.d: ../formulas/Negation.cpp ../formulas/Negation.h \ 2 ../formulas/Formula.h ../formulas/../common.h 4 ../formulas/Negation.h: 6 ../formulas/Formula.h: 8 ../formulas/../common.h:`
/dports/math/ctl-sat/CTLSAT-6de41e0/Debug/
H A D	main.d	2 ../parser/../formulas/Formula.h ../parser/../formulas/../common.h \ 3 ../parser/../formulas/Conjunction.h ../parser/../formulas/Formula.h \ 4 ../parser/../formulas/Negation.h ../parser/../formulas/Atom.h \ 5 ../parser/../formulas/ExistsUntil.h ../parser/../formulas/AllUntil.h \ 9 ../tableau/../formulas/Negation.h 15 ../parser/../formulas/Formula.h: 17 ../parser/../formulas/../common.h: 21 ../parser/../formulas/Formula.h: 23 ../parser/../formulas/Negation.h: 25 ../parser/../formulas/Atom.h: [all …]
/dports/math/ctl-sat/CTLSAT-6de41e0/Debug/parser/
H A D	CTLParser.d	3 ../parser/../formulas/../common.h ../parser/../formulas/Conjunction.h \ 4 ../parser/../formulas/Formula.h ../parser/../formulas/Negation.h \ 5 ../parser/../formulas/Atom.h ../parser/../formulas/ExistsUntil.h \ 6 ../parser/../formulas/AllUntil.h ../parser/../formulas/AllTomorrow.h \ 13 ../parser/../formulas/Formula.h: 15 ../parser/../formulas/../common.h: 17 ../parser/../formulas/Conjunction.h: 19 ../parser/../formulas/Formula.h: 21 ../parser/../formulas/Negation.h: 23 ../parser/../formulas/Atom.h: [all …]
/dports/math/spot/spot-2.10.2/tests/core/
H A D	lbt.test	`27 cat >formulas <<'EOF' 57 cat >>formulas <<EOF 93 run 0 ltlfilt --lbt-input formulas > formulas.2 94 run 0 ltlfilt -l formulas.2 > formulas.3 95 run 0 ltlfilt -l --lbt-input formulas > formulas.4 102 $PERL -pe 's/$/\r/' formulas.2 > formulas.2ms 108 run 0 ltlfilt formulas.2 --format='%L,"%f"' > formulas.5a 109 run 0 ltlfilt formulas.5/2 --format='%L,"%f"' > formulas.6a 110 cmp formulas.5 formulas.6 111 cmp formulas.5 formulas.5a [all …]`
/dports/math/py-spot/spot-2.10.2/tests/core/
H A D	lbt.test	`27 cat >formulas <<'EOF' 57 cat >>formulas <<EOF 93 run 0 ltlfilt --lbt-input formulas > formulas.2 94 run 0 ltlfilt -l formulas.2 > formulas.3 95 run 0 ltlfilt -l --lbt-input formulas > formulas.4 102 $PERL -pe 's/$/\r/' formulas.2 > formulas.2ms 108 run 0 ltlfilt formulas.2 --format='%L,"%f"' > formulas.5a 109 run 0 ltlfilt formulas.5/2 --format='%L,"%f"' > formulas.6a 110 cmp formulas.5 formulas.6 111 cmp formulas.5 formulas.5a [all …]`
/dports/math/openturns/openturns-1.18/lib/test/
H A D	t_TrendFactory_std.expout	`4 …formulas=[1] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=SymbolicE… 6 …formulas=[1] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=SymbolicE…`
H A D	t_LevelSet_std.expout	`1 …formulas=[x^4 + y^4] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=S… 5 …formulas=[(x-1)^2 + y^2] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=cla… 9 …formulas=[x^4 + y^4] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=S… 13 …formulas=[x^4 + y^4] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=S…`
H A D	t_DualLinearCombinationFunction_std.expout	1 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 5 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 6 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 7 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 8 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 9 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 10 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym…
H A D	t_ComposedFunction_std.expout	1 …formulas=[(x1x1+x2^3x1)/(2x3x3+x4^4+1),cos(x2x2+x4)/(x1x1+1+x3^4)] gradientImplementation=cl… 2 …formulas=[x1sin(x2),cos(x1+x2),(x2+1)exp(x1-2x2)] gradientImplementation=class=SymbolicGradient… 3 …formulas=[x1sin(x2),cos(x1+x2),(x2+1)exp(x1-2x2)] gradientImplementation=class=SymbolicGradient… 24 …formulas=[x1sin(x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inputVariablesNames=[x1,… 25 …formulas=[cos(x1+x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inputVariablesNames=[x1,… 26 …formulas=[(x2+1)exp(x1-2x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inputVariablesN… 27 …formulas=[x1sin(x2),cos(x1+x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inputVariable… 28 …formulas=[x1sin(x2),(x2+1)exp(x1-2x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inpu… 29 …formulas=[cos(x1+x2),(x2+1)exp(x1-2*x2)] rightFunction=class=SymbolicEvaluation name=Unnamed inpu…
H A D	t_AggregatedFunction_std.expout	1 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 + 2.5 * x1) - (x2 +… 5 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 6 …formulas=[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)] gradientImplementation=class=Sym… 7 …formulas=[exp(-x2 * x3 + x1) / cos(1.0 + x3 * x1 - x2)] gradientImplementation=class=SymbolicGradi… 8 …formulas=[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)] gradientImplementation=class=Sym… 9 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2),x1^1 * sin(x3 + 2.5 * x1) - (x2 +… 10 …formulas=[x1^3 * sin(x2 + 2.5 * x3) - (x1 + x2)^2 / (1.0 + x3^2)] gradientImplementation=class=Sym… 11 …formulas=[x1^1 * sin(x3 + 2.5 * x1) - (x2 + x3)^2 / (1.0 + x1^2)] gradientImplementation=class=Sym…
H A D	t_Function_operations.expout	`1 …formulas=[x0^2 + 2 * x1 * x2 + 3 * x2] gradientImplementation=class=SymbolicGradient name=Unnamed … 24 …formulas=[x0 + 2 * x1 * x2 + 3 * x2,x2 - x0 + x1 * x0] gradientImplementation=class=SymbolicGradie… 47 …formulas=[x0 + 2 * x1 * x2 + 3 * x2,x2 - x0 + x1 * x0] gradientImplementation=class=SymbolicGradie…`
H A D	t_FunctionalBasisProcess_std.expout	`1 …formulas=[sin(0*x)] gradientImplementation=class=SymbolicGradient name=Unnamed evaluation=class=Sy…`
/dports/devel/p5-DateTime-Calendar-FrenchRevolutionary/DateTime-Calendar-FrenchRevolutionary-0.17/eg/
H A D	g2r_table	`197 sub formulas { 199 my @formulas = (); 225 push @formulas, "-$offset Vnd"; 228 @formulas; 278 my @formulas = formulas($year, 9); 279 print "<td>$formulas[2]</td>\n"; 289 my @formulas = formulas($year, $month); 290 print "<td>$formulas[0]<br>$formulas[1]</td>\n"; 371 my @formulas = formulas($y, $m); 393 @formulas = formulas($y, 9); [all …]`
H A D	r2g_table	`191 sub formulas { 193 my @formulas = (); 208 @formulas; 287 my @formulas = formulas($year, $month); 288 print "<td>$formulas[0]<br>$formulas[1]</td>\n"; 300 my @formulas = formulas($year, $month); 301 print "<td>$formulas[$nb]</td>\n"; 329 my @formulas = formulas($y, $m); 330 my $limit = $1 if $formulas[1] =~ /(\d+)/; 354 @formulas = formulas($y, 6); [all …]`
/dports/math/p5-GIS-Distance/GIS-Distance-0.19/author/
H A D	distances	`44 my @formulas = ( 51 @formulas = ( 53 @formulas 56 @formulas = ( 58 @formulas 61 foreach my $formula (@formulas) { 71 my @formulas = @Geo::Distance::FORMULAS; 73 foreach my $formula (@formulas) { 84 my @formulas = @Geo::Distance::XS::FORMULAS; 86 foreach my $formula (@formulas) { [all …]`
/dports/math/ctl-sat/CTLSAT-6de41e0/
H A D	Makefile	`4 formulas/AllTomorrow.cpp \ 5 formulas/AllUntil.cpp \ 6 formulas/Atom.cpp \ 7 formulas/Conjunction.cpp \ 8 formulas/ExistsTomorrow.cpp \ 9 formulas/ExistsUntil.cpp \ 10 formulas/Formula.cpp \ 11 formulas/Negation.cpp \`
/dports/math/ctl-sat/CTLSAT-6de41e0/Debug/tableau/
H A D	Tableau.d	`2 ../tableau/../common.h ../tableau/../formulas/Formula.h \ 3 ../tableau/../formulas/../common.h ../tableau/../formulas/Negation.h \ 4 ../tableau/../formulas/Formula.h 10 ../tableau/../formulas/Formula.h: 12 ../tableau/../formulas/../common.h: 14 ../tableau/../formulas/Negation.h: 16 ../tableau/../formulas/Formula.h:`
/dports/science/scidavis/scidavis-2.4.0/libscidavis/src/
H A D	FunctionDialog.cpp	205 QStringList formulas = c->formulas(); in setCurveToModify() local 207 boxFunction->setText(formulas[0]); in setCurveToModify() 293 QStringList formulas; in acceptFunction() local 295 formulas += formula; in acceptFunction() 301 app->updateFunctionLists(type, formulas); in acceptFunction() 355 QStringList formulas; in acceptParametric() local 357 formulas += xformula; in acceptParametric() 358 formulas += yformula; in acceptParametric() 420 QStringList formulas; in acceptPolar() local 422 formulas += rformula; in acceptPolar() [all …]

12 3 4 5 6 7 8 9 10 >>...129