com.meyling.principia.logic.paragraph
Class Abbreviation
java.lang.Object
com.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.AbstractArgumentList
com.meyling.principia.logic.paragraph.Abbreviation
- All Implemented Interfaces:
- Argument, ParagraphCheck
- public class Abbreviation
- extends AbstractArgumentList
- implements Argument, ParagraphCheck
Abbreviation. For example OR (@0 @1) := NOT(AND(@0 @1)).
The left side must have only one operator and the right side
couldn't have other pattern variables than the left side.
- Version:
- $Revision: 1.6 $
- Author:
- Michael Meyling
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Abbreviation
public Abbreviation(Argument[] arguments)
throws ArgumentException
- Constructs an abbreviation.
- Parameters:
arguments
- contains left and right side of definition
- Throws:
ArgumentException
- if there are not exactly two
arguments that are instances of Formula
or
if the first argument does not have only pattern variables
as arguments or
if the second argument has other pattern variables than the
first one
check
public final void check(Module module,
String label)
- Adds abbreviation to module.
- Specified by:
check
in interface ParagraphCheck
- Parameters:
module
- modulelabel
- label of paragraph
create
public final Argument create(Argument[] arguments)
throws ArgumentException
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Specified by:
create
in class AbstractArgumentList
- Throws:
ArgumentException
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Specified by:
toString
in class AbstractArgumentList