Class ClassicalHead

All Implemented Interfaces:
Iterable<ASPLiteral>, Collection<ASPLiteral>, List<ASPLiteral>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<ASPLiteral>, ComplexLogicalFormula, Disjunctable, LogicStructure, SimpleLogicalFormula

This formula represents the head of an disjunctive rule which is a disjunction of literals.
Author:
Tim Janus, Anna Gessler