|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvs.communication.FabulaElement
vs.communication.Operator
vs.communication.FramingOperator
public class FramingOperator
An operator that changes the world but on a meta-level (e.g. "add a closet to this room") Protege name: FramingOperator
Constructor Summary | |
---|---|
FramingOperator()
|
Method Summary |
---|
Methods inherited from class vs.communication.Operator |
---|
getAgens, getEndtime, getInstrument, getIsSuccessful, getPatiens, getPrologDescription, getStarttime, getTarget, setAgens, setEndtime, setInstrument, setIsSuccessful, setPatiens, setPrologDescription, setStarttime, setTarget |
Methods inherited from class vs.communication.FabulaElement |
---|
getCharacter, getIndividual, getTime, getType, setCharacter, setIndividual, setTime, setType |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FramingOperator()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |