Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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

Constructor Summary
`Abbreviation(Argument[] arguments)` Constructs an abbreviation.

Method Summary
`void` | `check(Module module, String label)` Adds abbreviation to module.
`Argument` | `create(Argument[] arguments)` Create a new Argument with given arguments.
`String` | `toString()` Get the argument in `String` form.

Methods inherited from class com.meyling.principia.argument.AbstractArgumentList
`copy, getArgument, getArgumentSize`

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 class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Methods inherited from interface com.meyling.principia.argument.Argument
`containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches`

Constructor Detail

### 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

Method Detail

### check

    public final void check(Module module,
                            String label)

  Adds abbreviation to module.

  Specified by:
    `check` in interface `ParagraphCheck`
  Parameters:
    `module` - module
    `label` - 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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.