edu.umd.cs.psl.model.set.term

Class FormulaSetTerm

java.lang.Object

edu.umd.cs.psl.model.set.term.FormulaSetTerm

All Implemented Interfaces:

BasicSetTerm, SetTerm

public class FormulaSetTerm
extends Object
implements BasicSetTerm

Constructor Summary

Constructors

Constructor and Description
FormulaSetTerm(Formula f, Variable leaf, Set<Variable> anchorVars)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object oth)
VariableTypeMap	getAnchorVariables(VariableTypeMap varMap)
int	getArity() Returns the arity of the tuples contained in this set.
Set<BasicSetTerm>	getBasicTerms()
Formula	getFormula()
Term	getLeaf()
ArgumentType	getLeafType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaSetTerm

public FormulaSetTerm(Formula f,
              Variable leaf,
              Set<Variable> anchorVars)

Method Detail

getFormula

public Formula getFormula()

Specified by:

getFormula in interface BasicSetTerm

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getAnchorVariables

public VariableTypeMap getAnchorVariables(VariableTypeMap varMap)

Specified by:

getAnchorVariables in interface SetTerm

equals

public boolean equals(Object oth)

Overrides:

equals in class Object

getArity

public int getArity()

Description copied from interface: SetTerm

Returns the arity of the tuples contained in this set. If the arity is one, then the set described by the set term only contains ''normal'' entities, otherwise tuples of higher arity. If the set terms do not agree on their arity, this method throws an IllegalStateException.

Specified by:

getArity in interface SetTerm

Returns:

Arity of tuples contained in set, or 1 if set elements are not tuples

getLeafType

public ArgumentType getLeafType()

Specified by:

getLeafType in interface SetTerm

getLeaf

public Term getLeaf()

Specified by:

getLeaf in interface BasicSetTerm

getBasicTerms

public Set<BasicSetTerm> getBasicTerms()

Specified by:

getBasicTerms in interface SetTerm