Package MAKBPInterpreter.agents

Class Kripke

java.lang.Object

MAKBPInterpreter.agents.Kripke

public class Kripke
extends java.lang.Object

Store a pair of KripkeWorld and KripStructure

Constructor Summary

Constructors

Constructor	Description
Kripke(KripkeWorld world, KripkeStructure struct)

Method Summary

Modifier and Type	Method	Description
KripkeStructure	getStruct()
KripkeWorld	getWorld()
void	setStruct(KripkeStructure struct)
void	setWorld(KripkeWorld world)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Kripke

public Kripke(KripkeWorld world,
              KripkeStructure struct)

Method Detail

getWorld

public KripkeWorld getWorld()

setWorld

public void setWorld(KripkeWorld world)

getStruct

public KripkeStructure getStruct()

setStruct

public void setStruct(KripkeStructure struct)