Hierarchy For Package fr.inria.rules.integraal.model.formula.impl
Class Hierarchy
- java.lang.Object
- fr.inria.rules.integraal.model.formula.api.CompoundFOFormula (implements fr.inria.rules.integraal.model.formula.api.FOFormula)
- fr.inria.rules.integraal.model.formula.impl.FOConjunctionImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction)
- fr.inria.rules.integraal.model.formula.impl.FODisjunctionImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction)
- fr.inria.rules.integraal.model.formula.impl.FOConjunctionFactBaseWrapper (implements fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction)
- fr.inria.rules.integraal.model.formula.api.CompoundFOFormula (implements fr.inria.rules.integraal.model.formula.api.FOFormula)
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- fr.inria.rules.integraal.model.formula.impl.FONegationImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaNegation)
- java.lang.Record