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

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

Related Packages

Package	Description
fr.inria.rules.integraal.model.formula
fr.inria.rules.integraal.model.formula.api
fr.inria.rules.integraal.model.formula.factory

Class	Description
FOConjunctionFactBaseWrapper	Class that allows to wrap a fact base into a FOConjunction
FOConjunctionImpl	Default implementation of FOFormulaConjunction
FODisjunctionImpl	Default implementation of FOFormulaDisjunction
FONegationImpl	Default implementation of a FOFormulaNegation
FOSubQueryImpl