fmrisc.Syntax
Class NotFormula

java.lang.Object
  fmrisc.Syntax.ASTBase
      fmrisc.Syntax.ExpressionBase
          fmrisc.Syntax.UnaryExpression
              fmrisc.Syntax.NotFormula

All Implemented Interfaces:

AST, Expression

public final class NotFormula
extends UnaryExpression

Handling of negations

Constructor Summary

NotFormula(Expression base)
construct negation (not formula) of base formula

Method Summary

int	getPriority() get binding level for printing (lower numbers mean greater binding power)

Methods inherited from class fmrisc.Syntax.UnaryExpression

accept, getBase, instantiate, printCore

Methods inherited from class fmrisc.Syntax.ExpressionBase

printPriority

Methods inherited from class fmrisc.Syntax.ASTBase

print, printParens, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fmrisc.Syntax.AST

print, printParens, toString

Constructor Detail

NotFormula

public NotFormula(Expression base)

construct negation (not formula) of base formula

Parameters:

base - the base formula

Method Detail

getPriority

public int getPriority()

get binding level for printing (lower numbers mean greater binding power)

Specified by:

getPriority in interface Expression

Specified by:

getPriority in class ExpressionBase

Returns:

the priority level