Raptor.ProgramParser.Statements
Class PLVar

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

All Implemented Interfaces:

java.io.Serializable

public class PLVar
extends PTerm

Creates an length variable term for an array used in the proof.
Extends abstract class PTerm.

See Also:

Serialized Form

Constructor Summary

PLVar(java.lang.String pName)
Constructs a new length variable.

Method Summary

boolean	clashes(Atom pAtom)
boolean	clashes(Function pFunction)
java.lang.String	clashes(PanSignature pSignature) Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" A PVar Statement clashes with a signature if any of its parts clash with the signature.
boolean	clashes(PArray pPArray)
boolean	clashes(Var pVar)
java.lang.String	display() Returns a String to display the var term.
boolean	equals(PTerm pTerm) Returns true if the passed Term is equal to this Term.
java.lang.String	getName() Return the name of the length variable
boolean	isIn(PanSignature pSignature) Returns true if this PLVar is in the PLVar list of the passed PanSignature.
Term	s() Creates VVar to replace PVar in the formula where necessary.
void	setName(java.lang.String pName) Set the name of the length variable

Methods inherited from class java.lang.Object

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

Constructor Detail

PLVar

public PLVar(java.lang.String pName)

Constructs a new length variable.

Parameters:

pName - the name of the length variable

Method Detail

getName

public java.lang.String getName()

Return the name of the length variable

Overrides:

getName in class PTerm

setName

public void setName(java.lang.String pName)

Set the name of the length variable

Overrides:

setName in class PTerm

Parameters:

pName - the name of the length variable

display

public java.lang.String display()

Returns a String to display the var term.

Specified by:

display in class PTerm

s

public Term s()

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

Specified by:

s in class PTerm

clashes

public java.lang.String clashes(PanSignature pSignature)

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

Specified by:

clashes in class PTerm

Parameters:

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

isIn

public boolean isIn(PanSignature pSignature)

Returns true if this PLVar is in the PLVar list of the passed PanSignature.

Parameters:

pSignature - PanSignature represents the signature it is to be searched in.

equals

public boolean equals(PTerm pTerm)

Returns true if the passed Term is equal to this Term.

Parameters:

pTerm - Term represents the Term it is to be compared against.

clashes

public boolean clashes(PArray pPArray)

clashes

public boolean clashes(Atom pAtom)

clashes

public boolean clashes(Function pFunction)

clashes

public boolean clashes(Var pVar)