|
||||||||||
| 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 | |||||||||