| org.mandarax.kernel.Clause
All known Subclasses: org.mandarax.kernel.AbstractClause,
| getContainer | | ClauseSet getContainer()(Code) | | Get the clause set containing the clause. This method is in particular useful for analyzing derivations,
since derivations show only the clauses used, not the clause set generating this clauses (e.g., AutoFacts). On the other
hand, knowledge bases contain often clause sets. So it could be hard to find the clause sets in the knowledge base
that caused a certain result. For sme clauses such as facts, the container is just the fact itself.
a clause set |
| getNegativeLiterals | | java.util.List getNegativeLiterals()(Code) | | Get the negative literals.
the list of negative literals |
| getPositiveLiterals | | java.util.List getPositiveLiterals()(Code) | | Get the positive literals.
the list of positive literals |
| isAtomic | | boolean isAtomic()(Code) | | Indicates whether the clause is atomic, or is a real clause set containing other clauses.
The main motivation for introducing this method are rules with prerequisites connected by OR.
This rules are clauses, but they can also be seen as clause sets: A or B implies C is a clause set
containing the two rules A implies C and B implies C.
a boolean |
| isBound | | boolean isBound()(Code) | | Whether the head contains variables
boolean |
| isEmpty | | boolean isEmpty()(Code) | | Indicates whether the clause is the empty clause.
true if this is an empty clause, false otherwise |
| isGround | | boolean isGround()(Code) | | Indicates whether the clause is ground (= does not have variables).
a boolean |
| setContainer | | void setContainer(ClauseSet aContainer)(Code) | | Set a container.
Parameters:
aContainerthe - new container |
|
|