com.meyling.principia.logic.rule
Class RuleCreator
java.lang.Object
|
+--com.meyling.principia.logic.rule.RuleCreator
- public final class RuleCreator
- extends Object
This class provides static methods for reading and
writing an Argument
.
- Version:
- $Revision: 1.6 $
- Author:
- Michael Meyling
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RULE_LINK_REFERENCE
public static final String RULE_LINK_REFERENCE
- string for a
LinkReference
RULE_MODUS_PONENS
public static final String RULE_MODUS_PONENS
- string for a
ModusPonens
RULE_ADD_AXIOM
public static final String RULE_ADD_AXIOM
- string for a
AddAxiom
RULE_APPLY_AXIOM
public static final String RULE_APPLY_AXIOM
- string for a
AddAxiom
RULE_ADD_SENTENCE
public static final String RULE_ADD_SENTENCE
- string for a
AddSenctence
RULE_APPLY_SENTENCE
public static final String RULE_APPLY_SENTENCE
- string for a
ApplySenctence
RULE_USE_ABBREVIATION
public static final String RULE_USE_ABBREVIATION
- string for a
UseAbbreviation
RULE_REVERSE_ABBREVIATION
public static final String RULE_REVERSE_ABBREVIATION
- string for a
ReverseAbbreviation
RULE_REPLACE_PROPOSITION_VARIABLE
public static final String RULE_REPLACE_PROPOSITION_VARIABLE
- string for a
ReplacePropositonVariable
RULE_REPLACE_PREDICATE_VARIABLE
public static final String RULE_REPLACE_PREDICATE_VARIABLE
- string for a
ReplacePredicate
RULE_RENAME_FREE_SUBJECT_VARIABLE
public static final String RULE_RENAME_FREE_SUBJECT_VARIABLE
- string for a
RenameFreeSubjectVariable
RULE_RENAME_BOUND_SUBJECT_VARIABLE
public static final String RULE_RENAME_BOUND_SUBJECT_VARIABLE
- string for a
RenameBoundSubjectVariable
RULE_GENERALIZATION
public static final String RULE_GENERALIZATION
- string for a
Generalization
RULE_PARTICULARIZATION
public static final String RULE_PARTICULARIZATION
- string for a
Particularization
RULE_HYPOTHETICAL_SYLLOGISM
public static final String RULE_HYPOTHETICAL_SYLLOGISM
- string for a
HypotheticalSyllogism
RULE_SUBST_LINE
public static final String RULE_SUBST_LINE
- string for a
HypotheticalSyllogism
RULE_RIGHT_ADDITION
public static final String RULE_RIGHT_ADDITION
- string for a
RightAddition
RULE_ELEMENTARY_EQUIVALENCE
public static final String RULE_ELEMENTARY_EQUIVALENCE
- string for a
ElementaryEquivalence
RULE_CONJUNCTION_RULE
public static final String RULE_CONJUNCTION_RULE
- string for a
ElementaryEquivalence
RULE_LEFT_ADDITION
public static final String RULE_LEFT_ADDITION
- string for a
LeftAddition
RULE_REVERSE_IMPLICATION
public static final String RULE_REVERSE_IMPLICATION
- string for a
ReverseImplication
RULE_LEFT_ADDITION_CONJUNCTION
public static final String RULE_LEFT_ADDITION_CONJUNCTION
- string for a
LeftAdditionConjunction
RULE_RIGHT_ADDITION_CONJUNCTION
public static final String RULE_RIGHT_ADDITION_CONJUNCTION
- string for a
RightAdditionConjunction
RULE_LEFT_ADDITION_IMPLICATION
public static final String RULE_LEFT_ADDITION_IMPLICATION
- string for a
RightAdditionImplication
RULE_RIGHT_ADDITION_IMPLICATION
public static final String RULE_RIGHT_ADDITION_IMPLICATION
- string for a
RightAdditionImplication
RULE_LEFT_ADDITION_EQUIVALENCE
public static final String RULE_LEFT_ADDITION_EQUIVALENCE
- string for a
RightAdditionImplication
RULE_RIGHT_ADDITION_EQUIVALENCE
public static final String RULE_RIGHT_ADDITION_EQUIVALENCE
- string for a
RightAdditionImplication
RuleCreator
public RuleCreator()
static void ()
- Make attribut initialization.
getMap
public static final Map getMap()
- Get the mapping of Strings to operator classes. The returned Map
should not be modified.
- Returns:
- mapping of known Strings, do not change this Map
getName
public static final String getName(Class clazz)
throws IllegalArgumentException
- Get name of known operator class.
- Parameters:
clazz
- look for name of this class- Returns:
- name of operator class
- Throws:
IllegalArgumentException
- if operator class c
is unknown
readArgument
public static final Argument readArgument(TextInput input,
ParsingTable parsing)
throws ParsingException
- Create an
Argument
out of an TextInput
object.
- Parameters:
input
- source to read fromparsing
- maps Argument
s into Position
s- Returns:
- created argument
- Throws:
ParsingException
- if creation failed
writeArgument
public static final void writeArgument(Output output,
Argument argument)
throws IllegalArgumentException
- Write an
Argument
to an Output
object.
- Parameters:
output
- destination to write toargument
- this object will be written- Throws:
IllegalArgumentException
- if writing failed
writeArgument
public static final String writeArgument(Argument argument)
throws IllegalArgumentException
- Write an
Argument
to an String
.
- Parameters:
argument
- this object will be written- Returns:
- created string
- Throws:
IllegalArgumentException
- if writing failed