|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| orbital.algorithm.* |
|---|
| orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm | ||
|---|---|---|
public static final int |
FLAT_HIERARCHY |
3 |
public static final int |
HIERARCHY |
2 |
public static final int |
ROUND_ROBIN |
1 |
| orbital.awt.* |
|---|
| orbital.awt.NumberInput | ||
|---|---|---|
public static final int |
NUMPAD |
2 |
public static final int |
SLIDER |
1 |
public static final int |
TYPING |
0 |
| orbital.math.* |
|---|
| orbital.math.ArithmeticFormat | ||
|---|---|---|
public static final int |
DENOMINATOR_FIELD |
3 |
public static final int |
IMAGINARY_FIELD |
5 |
public static final int |
NUMERATOR_FIELD |
2 |
public static final int |
REAL_FIELD |
4 |
public static final int |
SYMBOL_FIELD |
10 |
| orbital.math.NumericalAlgorithms | ||
|---|---|---|
public static final int |
COMPLETE_SPLINE_INTERPOLATION |
1 |
public static final int |
NATURAL_SPLINE_INTERPOLATION |
2 |
public static final int |
PERIODICAL_SPLINE_INTERPOLATION |
3 |
| orbital.moon.* |
|---|
| orbital.moon.awt.SystemRequestor | ||
|---|---|---|
public static final int |
ABORT |
8 |
public static final int |
INTERRUPT |
2 |
| orbital.moon.evolutionary.BreederControl | ||
|---|---|---|
public static final int |
defaultChildren |
2 |
public static final double |
defaultMaxMutation |
0.1 |
public static final double |
defaultMaxRecombination |
0.6 |
public static final int |
defaultParents |
2 |
| orbital.moon.logic.ClassicalLogic | ||
|---|---|---|
public static final java.lang.String |
usage |
"usage: [options] [all|none|properties|fol|<filename>|table]\n\tall\tprove important semantic-equivalence expressions\n\tnone\ttry to prove some semantic-garbage expressions\n\tproperties\tprove some properties of classical logic inference relation\n\tfol\tprove important equivalences of first-order logic\n\n\t<filename>\ttry to prove all expressions in the given file\n\ttable\tprint a function table of the expression instead\n\t-\tUse no arguments at all to be asked for expressions to prove.\noptions:\n\t-inference=<inference_mechanism> use the specified prover <inference_mechanism>, see list below\n\t-normalForm\tcheck conjunctive and disjunctive forms of formulas\n\t-closure\tprint universal/existential closures of formulas\n\t-verbose\tbe more verbose (f.ex. print normal forms if -normalForm)\n\t-charset=<encoding>\tthe character set or encoding to use for reading files\n\t-problem\tparse a problem file, i.e. combine all lines into a single problem, instead of assuming single-line conjectures.\n\nTo check whether A and B are equivalent, enter \'|= A<->B\' or \'A == B\'.\nUse -verbose --help to get more help." |
| orbital.moon.logic.FuzzyLogic | ||
|---|---|---|
public static final java.lang.String |
usage |
"interpret fuzzy logic" |
| orbital.moon.logic.LogicParserConstants | ||
|---|---|---|
public static final int |
AND |
15 |
public static final int |
BOX |
17 |
public static final int |
DECIMAL_LITERAL |
45 |
public static final int |
DECLARE_FREE |
8 |
public static final int |
DEFAULT |
0 |
public static final int |
DIAMOND |
18 |
public static final int |
DIGIT |
49 |
public static final int |
DIGIT_OR_ALIKE |
40 |
public static final int |
DIVIDE |
28 |
public static final int |
EOF |
0 |
public static final int |
EOL |
4 |
public static final int |
EQUAL |
19 |
public static final int |
EQUIV |
11 |
public static final int |
EXISTS |
9 |
public static final int |
EXPONENT |
47 |
public static final int |
FLOATING_POINT_LITERAL |
46 |
public static final int |
FORALL |
10 |
public static final int |
FORMAL_COMMENT |
6 |
public static final int |
GREATER |
22 |
public static final int |
GREATER_EQUAL |
24 |
public static final int |
IDENTIFIER |
38 |
public static final int |
IMPLY |
12 |
public static final int |
INTEGER_LITERAL |
44 |
public static final int |
LAMBDA |
29 |
public static final int |
LESS |
21 |
public static final int |
LESS_EQUAL |
23 |
public static final int |
LETTER |
39 |
public static final int |
MINUS |
26 |
public static final int |
MULTI_LINE_COMMENT |
7 |
public static final int |
NOT |
16 |
public static final int |
OR |
13 |
public static final int |
PI |
30 |
public static final int |
PLUS |
25 |
public static final int |
PRODUCT |
31 |
public static final int |
SINGLE_LINE_COMMENT |
5 |
public static final int |
STRING_LITERAL |
48 |
public static final int |
TIMES |
27 |
public static final int |
UNEQUAL |
20 |
public static final int |
XOR |
14 |
| orbital.moon.logic.MathExpressionSyntax | ||
|---|---|---|
public static final java.lang.String |
usage |
"usage: \n\tstart and enter a correct mathematical expression to evaluate\n\tremember that function evaluation expressions are denoted with rectangular\n\tbrackets as in \"sin[2 + 4/15] + 3*x\"" |
| orbital.moon.logic.ModalLogic | ||
|---|---|---|
public static final java.lang.String |
usage |
"interpret modal logic" |
| orbital.moon.logic.SimpleCharStream | ||
|---|---|---|
public static final boolean |
staticFlag |
false |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||