|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.logic.rule.RuleCreator
This class provides static methods for reading and
writing an Argument
.
Constructor Summary | |
RuleCreator()
|
Method Summary | |
static Map |
getMap()
Get the mapping of Strings to operator classes. |
static String |
getName(Class clazz)
Get name of known operator class. |
static Argument |
readArgument(TextInput input,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
static String |
writeArgument(Argument argument)
Write an Argument to an String . |
static void |
writeArgument(Output output,
Argument argument)
Write an Argument to an Output object. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final String RULE_LINK_REFERENCE
LinkReference
public static final String RULE_MODUS_PONENS
ModusPonens
public static final String RULE_ADD_AXIOM
AddAxiom
public static final String RULE_APPLY_AXIOM
AddAxiom
public static final String RULE_ADD_SENTENCE
AddSenctence
public static final String RULE_APPLY_SENTENCE
ApplySenctence
public static final String RULE_USE_ABBREVIATION
UseAbbreviation
public static final String RULE_REVERSE_ABBREVIATION
ReverseAbbreviation
public static final String RULE_REPLACE_PROPOSITION_VARIABLE
ReplacePropositonVariable
public static final String RULE_REPLACE_PREDICATE_VARIABLE
ReplacePredicate
public static final String RULE_RENAME_FREE_SUBJECT_VARIABLE
RenameFreeSubjectVariable
public static final String RULE_RENAME_BOUND_SUBJECT_VARIABLE
RenameBoundSubjectVariable
public static final String RULE_GENERALIZATION
Generalization
public static final String RULE_PARTICULARIZATION
Particularization
public static final String RULE_HYPOTHETICAL_SYLLOGISM
HypotheticalSyllogism
public static final String RULE_SUBST_LINE
HypotheticalSyllogism
public static final String RULE_RIGHT_ADDITION
RightAddition
public static final String RULE_ELEMENTARY_EQUIVALENCE
ElementaryEquivalence
public static final String RULE_CONJUNCTION_RULE
ElementaryEquivalence
public static final String RULE_LEFT_ADDITION
LeftAddition
public static final String RULE_REVERSE_IMPLICATION
ReverseImplication
public static final String RULE_LEFT_ADDITION_CONJUNCTION
LeftAdditionConjunction
public static final String RULE_RIGHT_ADDITION_CONJUNCTION
RightAdditionConjunction
public static final String RULE_LEFT_ADDITION_IMPLICATION
RightAdditionImplication
public static final String RULE_RIGHT_ADDITION_IMPLICATION
RightAdditionImplication
public static final String RULE_LEFT_ADDITION_EQUIVALENCE
RightAdditionImplication
public static final String RULE_RIGHT_ADDITION_EQUIVALENCE
RightAdditionImplication
Constructor Detail |
public RuleCreator()
Method Detail |
public static final Map getMap()
public static final String getName(Class clazz) throws IllegalArgumentException
clazz
- look for name of this class
IllegalArgumentException
- if operator class c
is unknownpublic static final Argument readArgument(TextInput input, ParsingTable parsing) throws ParsingException
Argument
out of an TextInput
object.
input
- source to read fromparsing
- maps Argument
s into Position
s
ParsingException
- if creation failedpublic static final void writeArgument(Output output, Argument argument) throws IllegalArgumentException
Argument
to an Output
object.
output
- destination to write toargument
- this object will be written
IllegalArgumentException
- if writing failedpublic static final String writeArgument(Argument argument) throws IllegalArgumentException
Argument
to an String
.
argument
- this object will be written
IllegalArgumentException
- if writing failed
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |