|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlp.unit.EvolpProgram
public class EvolpProgram
Represents an evolving logic program (the base program) with a sequence of events (also evolving logic programs).
LogicProgram
,
GeneralizedLogicProgram
Field Summary | |
---|---|
private LogicProgram |
baseProgram
The base logic program. |
private List<LogicProgram> |
events
The sequence of events. |
Constructor Summary | |
---|---|
EvolpProgram()
Creates a new instance of EvolpProgram |
Method Summary | |
---|---|
void |
addEvent(LogicProgram program)
Adds a new event to the end of the event sequence. |
LogicProgram |
getBaseProgram()
Returns the base program. |
List<LogicProgram> |
getEvents()
Returns the event sequence. |
boolean |
isGround()
Returns true iff both the base program and all events are ground. |
void |
setBaseProgram(LogicProgram program)
Sets program as the base program. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private LogicProgram baseProgram
private final List<LogicProgram> events
Constructor Detail |
---|
public EvolpProgram()
EvolpProgram
Method Detail |
---|
public LogicProgram getBaseProgram()
public void setBaseProgram(LogicProgram program)
program
as the base program.
program
- the new base programpublic List<LogicProgram> getEvents()
public void addEvent(LogicProgram program)
program
- the event to be addedpublic boolean isGround()
true
iff both the base program and all events are ground.
LogicProgram.isGround()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |