Class FODisjunctionImpl

java.lang.Object

fr.inria.rules.integraal.model.formula.api.CompoundFOFormula

fr.inria.rules.integraal.model.formula.impl.FODisjunctionImpl

All Implemented Interfaces:

fr.inria.rules.dlgpemodel.api.formulas.IDisjunction, fr.inria.rules.dlgpemodel.api.formulas.IFormula, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, FOFormula, FOFormulaDisjunction, Substitutable<FOFormula>, TermCompound

public class FODisjunctionImpl
extends CompoundFOFormula
implements FOFormulaDisjunction

Default implementation of FOFormulaDisjunction

Author:

Florent Tornil

Field Summary

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

WRITER

Constructor Summary

Constructors

Constructor	Description
FODisjunctionImpl(Collection<? extends FOFormula> subformulas)	Constructor using sub formulas

Method Summary

Modifier and Type	Method	Description
FOFormulaDisjunction	applySubstitution(Substitution substitution, boolean evaluate)	Applies a substitution to this formula.
FOFormulaDisjunction	copy()	Creates a deep copy of this formula.
boolean	equals(Object o)	//////////////////////////////////////////////
String	getConnectorRepresentation()	//////////////////////////////////////////////
int	hashCode()

Methods inherited from class CompoundFOFormula

asAtomSet, getPredicates, getSubElements, getTerms, toString

Methods inherited from class Object

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

Methods inherited from interface FOFormula

asAtomSet, asBooleanQuery, getPredicates, isAtomic, isConjunction, isNegation

Methods inherited from interface FOFormulaDisjunction

applySubstitution, flattenedSubFormulas, getSubElements, isDisjunction

Methods inherited from interface fr.inria.rules.dlgpemodel.api.formulas.IDisjunction

exports

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

toDLGPE

Methods inherited from interface TermCompound

getAllNestedTerms, getConstants, getLiterals, getNestedTerms, getTerms, getVariables

Constructor Details

FODisjunctionImpl

public FODisjunctionImpl(Collection<? extends FOFormula> subformulas)

Constructor using sub formulas

Parameters:

subformulas - the sub formulas

Method Details

getConnectorRepresentation

public String getConnectorRepresentation()

//////////////////////////////////////////////

Specified by:

getConnectorRepresentation in class CompoundFOFormula

Returns:

the string representation of the connector

equals

public boolean equals(Object o)

//////////////////////////////////////////////

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

applySubstitution

public FOFormulaDisjunction applySubstitution(Substitution substitution,
 boolean evaluate)

Description copied from interface: FOFormula

Applies a substitution to this formula.

Specified by:

applySubstitution in interface FOFormula

Specified by:

applySubstitution in interface FOFormulaDisjunction

Specified by:

applySubstitution in interface Substitutable<FOFormula>

Parameters:

substitution - the substitution to apply

evaluate - whether evaluable functions should be evaluated

Returns:

the substituted formula

copy

public FOFormulaDisjunction copy()

Description copied from interface: FOFormula

Creates a deep copy of this formula.

Specified by:

copy in interface FOFormula

Returns:

a detached copy of this formula