fmrisc.ProofNavigator.Syntax

Class BitNotTerm

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTBase

fmrisc.ProofNavigator.Syntax.ExpressionBase

fmrisc.ProofNavigator.Syntax.UnaryExpression

fmrisc.ProofNavigator.Syntax.BitNotTerm

All Implemented Interfaces:

AST, Expression

public final class BitNotTerm
extends UnaryExpression

Handling of bit negations

Constructor Summary

Constructors

Constructor and Description
BitNotTerm(Expression base) construct bit negation (not term) of base term

Method Summary

Modifier and Type	Method and Description
int	getPriority() get binding level for printing (lower numbers mean greater binding power)

Methods inherited from class fmrisc.ProofNavigator.Syntax.UnaryExpression

accept, getBase, instantiate, printCore

Methods inherited from class fmrisc.ProofNavigator.Syntax.ExpressionBase

printPriority

Methods inherited from class fmrisc.ProofNavigator.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.ProofNavigator.Syntax.AST

print, printParens, toString

Constructor Detail

BitNotTerm

public BitNotTerm(Expression base)

construct bit negation (not term) of base term

Parameters:

base - the base term

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