Pandora.LogicParser.Formula
Class Sk

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

All Implemented Interfaces:

java.io.Serializable

public class Sk
extends Atom

The Atom formula.
Extends abstract class Formula.

See Also:

Serialized Form

Constructor Summary

Sk(java.lang.String id)
Constructs an Atom Formula.

Method Summary

java.lang.String	clashes(PanSignature signature) 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 atom.
void	setAtoms() Adds the list of Atoms in a given tree to the list of Atoms.

Methods inherited from class Pandora.LogicParser.Formula.Atom

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

Methods inherited from class Pandora.LogicParser.Formula.Formula

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

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 id)

Constructs an Atom Formula.

Parameters:

id - String of the name fo the atom

Method Detail

getName

public java.lang.String getName()

Returns the name of the atom.

Overrides:

getName in class Atom

setAtoms

public void setAtoms()

Adds the list of Atoms in a given tree to the list of Atoms.

Overrides:

setAtoms in class Atom

clashes

public java.lang.String clashes(PanSignature signature)

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:

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