org.linqs.psl.model.formula

Class AbstractBranchFormula<T extends AbstractBranchFormula<T>>

java.lang.Object

org.linqs.psl.model.formula.AbstractBranchFormula<T>

All Implemented Interfaces:

Formula

Direct Known Subclasses:

Conjunction, Disjunction

public abstract class AbstractBranchFormula<T extends AbstractBranchFormula<T>>
extends Object
implements Formula

An abstract branching formula. Note, the order in which formulas appear in an AbstractBranchFormula is important!

Field Summary

Fields

Modifier and Type	Field and Description
protected Formula[]	formulas

Constructor Summary

Constructors

Constructor and Description
AbstractBranchFormula(Formula... f)

Method Summary

Modifier and Type	Method and Description
VariableTypeMap	collectVariables(VariableTypeMap varMap) Adds the Variables
boolean	equals(Object oth)
Formula	flatten() Collapses nested formulas of the same type and remove duplicates at the top level.
Formula	get(int pos)
Set<Atom>	getAtoms(Set<Atom> atoms)
int	hashCode()
int	length()
protected abstract String	separatorString()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.linqs.psl.model.formula.Formula

getDNF

Field Detail

formulas

protected final Formula[] formulas

Constructor Detail

AbstractBranchFormula

public AbstractBranchFormula(Formula... f)

Method Detail

length

public int length()

get

public Formula get(int pos)

collectVariables

public VariableTypeMap collectVariables(VariableTypeMap varMap)

Description copied from interface: Formula

Adds the Variables

Specified by:

collectVariables in interface Formula

Returns:

the passed in VariableTypeMap filled with the variables this formula uses.

getAtoms

public Set<Atom> getAtoms(Set<Atom> atoms)

Specified by:

getAtoms in interface Formula

Returns:

Atoms in the Formula

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object oth)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

flatten

public Formula flatten()

Description copied from interface: Formula

Collapses nested formulas of the same type and remove duplicates at the top level. Does not change the context object. Order is not guarenteed. Ex: (A ^ B) ^ !!C ^ (D v E) becomes A ^ B ^ C ^ (D v E). Note that most formulas will return an object of the same type (eg a Conjunction will always return a Conjunction). However, it is possible for some types (like Negation) the return a different type.

Specified by:

flatten in interface Formula

Returns:

the flattened Formula.

separatorString

protected abstract String separatorString()