logic
Class Connective

java.lang.Object
  logic.SymbolicObject
      logic.Sentence
          logic.Connective

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Conjunction, Disjunction

public abstract class Connective

extends Sentence

Field Summary

protected SList

_s

Constructor Summary

Connective(SList sentenceList)

Method Summary

boolean	add(Sentence s)
java.lang.Object	clone()
boolean	containsDisjunction()
Sentence	eliminateExists()
Sentence	eliminateForall(api.ProblemInstance p)
Sentence	flatten()
SymbolicObject	getFirst()
Term	getFirstTerm()
SList	getList()
SymbolicObject	getRest()
int	hashCode()
SList	obtainSentences()
TermList	obtainVariables() returns a * of Terms that are Variables.
Sentence	reconcileTypes(api.Domain d, api.ProblemInstance p)
Sentence	renameVariables()
java.lang.String	toString()

Methods inherited from class logic.Sentence

containsTerm, getSList, infoString, initializeOccurrences, isAdmissibleOutcome, isAtomic, isCompound, isEquals, isNegation, isNegationOf, isNotEquals, isSymbol, negate, relativize, symbolicMatch, toSentence

Methods inherited from class logic.SymbolicObject

compareTo, copyData, debugString, equals, geq, getName, getOccurrences, getProbability, getType, getTypeName, gt, isTyped, leq, lt, setOccurrences, setProbability, setType, substitute, substituteVariable, symbolicSignature, unify

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_s

protected SList _s

Constructor Detail

Connective

public Connective(SList sentenceList)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Sentence

reconcileTypes

public Sentence reconcileTypes(api.Domain d,
                               api.ProblemInstance p)

Specified by:

reconcileTypes in class Sentence

eliminateExists

public Sentence eliminateExists()

Specified by:

eliminateExists in class Sentence

eliminateForall

public Sentence eliminateForall(api.ProblemInstance p)

Specified by:

eliminateForall in class Sentence

flatten

public Sentence flatten()

Specified by:

flatten in class Sentence

hashCode

public int hashCode()

getFirst

public SymbolicObject getFirst()

Specified by:

getFirst in class SymbolicObject

getFirstTerm

public Term getFirstTerm()

Specified by:

getFirstTerm in class SymbolicObject

getRest

public SymbolicObject getRest()

Specified by:

getRest in class SymbolicObject

getList

public SList getList()

Specified by:

getList in class Sentence

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject

obtainSentences

public SList obtainSentences()

renameVariables

public Sentence renameVariables()

Specified by:

renameVariables in class Sentence

obtainVariables

public TermList obtainVariables()

Description copied from class: SymbolicObject

returns a * of Terms that are Variables. If this Term isn't a Variable, an empty * is returned.

Specified by:

obtainVariables in class SymbolicObject

containsDisjunction

public boolean containsDisjunction()

Overrides:

containsDisjunction in class Sentence

add

public boolean add(Sentence s)