Raptor.LogicParser.Formula
Class Sk

java.lang.Object
  Raptor.LogicParser.Formula.Formula
      Raptor.LogicParser.Formula.Atom
          Raptor.LogicParser.Formula.Sk

All Implemented Interfaces:

java.io.Serializable

public class Sk
extends Atom

The Sk formula.
Extends class Atom.

See Also:

Serialized Form

Constructor Summary

Sk(java.lang.String pID)
Constructs an Sk Formula.

Method Summary

java.lang.String	clashes(PanSignature pSignature) Returns a String containing an Error character if this Atom clashes with the passed PanSignature, Otherwise it will return an Empty String "". An Atom clashes with a signature if it clashes with any of its Predicates/Functions/Constants/Variables.
java.lang.String	getName() Returns the name of the sk atom.
void	setAtoms() Adds this atom to the list of atoms for the formula.

Methods inherited from class Raptor.LogicParser.Formula.Atom

addToSignature, checkSub, clashes, clashes, display, equals, getArity, getPrecedence, getTerms, isIn, regenerate, s, setVars, ST, subAll, subAll, subBoolRes

Methods inherited from class Raptor.LogicParser.Formula.Formula

check, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, map, setLeft, setRight, setTuples, showTuples, sub, subBool

Methods inherited from class java.lang.Object

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

Constructor Detail

Sk

public Sk(java.lang.String pID)

Constructs an Sk Formula.

Parameters:

pID - String of the name of the sk atom

Method Detail

getName

public java.lang.String getName()

Returns the name of the sk atom.

Overrides:

getName in class Atom

setAtoms

public void setAtoms()

Adds this atom to the list of atoms for the formula.
The list of atoms is found in Formula class.

Overrides:

setAtoms in class Atom

clashes

public java.lang.String clashes(PanSignature pSignature)

Returns a String containing an Error character if this Atom clashes with the passed PanSignature, Otherwise it will return an Empty String "".
An Atom clashes with a signature if it clashes with any of its Predicates/Functions/Constants/Variables.

Overrides:

clashes in class Atom

Parameters:

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