Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

Packages that use NormalClause

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Uses of NormalClause in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Subclasses of NormalClause in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Modifier and Type	Class	Description
class	DerivationRule	Implementation of a logic derivation rule.
class	LogicConstraint	Implementation of a logic constraint.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type NormalClause

Modifier and Type	Method	Description
Set<NormalClause>	LogicSchema.getAllNormalClauses()