Package ai.libs.jaicore.logic.fol.structure
-
Class Summary Class Description Clause CNFFormula ConstantParam The constant parameter of a literal.DNFFormula HornFormula HornRule InterpretedLiteral Literal A literal defines a property over parameters.LiteralParam The parameter of a literal.LiteralSet A set of literals.Monom Rule Type TypeModule VariableParam A variable parameter of a literal.