Raptor.ProgramParser.Statements
Class BVar

java.lang.Object
  Raptor.ProgramParser.Statements.PTerm
      Raptor.ProgramParser.Statements.BVar

All Implemented Interfaces:

java.io.Serializable

public class BVar
extends PTerm

See Also:

Serialized Form

Constructor Summary

BVar(java.lang.Object object, AndTerm a)

BVar(java.lang.Object object, BoolTerm boolTerm)

Method Summary

java.lang.String	clashes(PanSignature signature) Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" An PTerm clashes with a signature if any of its parts clash with the signature.
java.lang.String	display() Returns a String to display the PTerm.
boolean	isIn(PanSignature panSignature)
Term	s() Creates VVar to replace PVar in the formula where necessary.

Methods inherited from class Raptor.ProgramParser.Statements.PTerm

getName, setName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BVar

public BVar(java.lang.Object object,
            BoolTerm boolTerm)

BVar

public BVar(java.lang.Object object,
            AndTerm a)

Method Detail

clashes

public java.lang.String clashes(PanSignature signature)

Description copied from class: PTerm

Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String ""
An PTerm clashes with a signature if any of its parts clash with the signature.

Specified by:

clashes in class PTerm

Parameters:

signature - PanSignature represents the PanSignature to be checked if this Formula clashes with.

display

public java.lang.String display()

Description copied from class: PTerm

Returns a String to display the PTerm.

Specified by:

display in class PTerm

s

public Term s()

Description copied from class: PTerm

Creates VVar to replace PVar in the formula where necessary. Used in Raptor.

Specified by:

s in class PTerm

isIn

public boolean isIn(PanSignature panSignature)