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

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

Related Packages

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

Class	Description
FOFormulas	Utility class for standard operations on formulas
FOFormulas.EvaluableReplacementResult<F extends FOFormula>	Aggregates the mappings produced while replacing evaluable parts.