Class FOConjunctionImpl

java.lang.Object

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

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

All Implemented Interfaces:

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

public class FOConjunctionImpl
extends CompoundFOFormula
implements FOFormulaConjunction

Default implementation of FOFormulaConjunction

Author:

Florent Tornil

Field Summary

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

WRITER

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
FOFormulaConjunction	applySubstitution(Substitution substitution, boolean evaluate)	Applies a substitution to this formula.
FOFormulaConjunction	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, isDisjunction, isNegation

Methods inherited from interface FOFormulaConjunction

applySubstitution, flattenedSubFormulas, getSubElements, isConjunction

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

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

FOConjunctionImpl

public FOConjunctionImpl(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 FOFormulaConjunction 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 FOFormulaConjunction

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 FOFormulaConjunction 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