|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface LogicProgram
Represents an ordinary logic program, i.e. a set of logic program rules
represented by LpRule
instances.
LpRule
Method Summary | |
---|---|
LpRule |
get(int index)
Returns the i -th rule in this logic program. |
boolean |
isGround()
Returns true iff this logic programs contains only ground rules,
i.e. rules that contain no variables. |
Methods inherited from interface java.util.Set |
---|
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray |
Method Detail |
---|
LpRule get(int index)
i
-th rule in this logic program. Rules are required
to be in the order they were added to the program (just like in a list) .
But this order is not important when determining if two logic programs
are equal. Multiple appearance of one rule is also not important in this
respect.
boolean isGround()
true
iff this logic programs contains only ground rules,
i.e. rules that contain no variables.
LpGroundDecider.isGround(LpStructureUnit)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |