beverbende
Class KripkeModel

java.lang.Object
  beverbende.KripkeModel

public class KripkeModel
extends java.lang.Object

Constructor Summary

KripkeModel(int nAgents, int depth, int id)

Method Summary

void	addFact(int posx, int posy, int depth2, int depth3, Fact fact)
void	deleteAllFactsOfOneCard(int agentpos, int cardpos)
boolean	exists(int posx, int posy, int depth2, int depth3)
java.lang.String	factToString(int agent, int pos, int depth2, int depth3)
double	getAveragePositionValue(int posx, int posy)
Fact[][]	getCardFacts(int posx, int posy)
int	getDepth()
Fact	getFact(int posx, int posy, int depth2, int depth3)
java.lang.Integer[]	getHighestCard(int agent)
java.lang.Integer[]	getLowestCard(int agent)
java.lang.Integer[]	getLowestCardOthers(int agent)
int	getNAgents()
void	swapCardFacts(int agent1, int pos1, int agent2, int pos2)

Methods inherited from class java.lang.Object

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

Constructor Detail

KripkeModel

public KripkeModel(int nAgents,
                   int depth,
                   int id)

Method Detail

getNAgents

public int getNAgents()

getDepth

public int getDepth()

getFact

public Fact getFact(int posx,
                    int posy,
                    int depth2,
                    int depth3)

getCardFacts

public Fact[][] getCardFacts(int posx,
                             int posy)

exists

public boolean exists(int posx,
                      int posy,
                      int depth2,
                      int depth3)

getAveragePositionValue

public double getAveragePositionValue(int posx,
                                      int posy)

addFact

public void addFact(int posx,
                    int posy,
                    int depth2,
                    int depth3,
                    Fact fact)

getLowestCard

public java.lang.Integer[] getLowestCard(int agent)

getLowestCardOthers

public java.lang.Integer[] getLowestCardOthers(int agent)

getHighestCard

public java.lang.Integer[] getHighestCard(int agent)

deleteAllFactsOfOneCard

public void deleteAllFactsOfOneCard(int agentpos,
                                    int cardpos)

swapCardFacts

public void swapCardFacts(int agent1,
                          int pos1,
                          int agent2,
                          int pos2)

factToString

public java.lang.String factToString(int agent,
                                     int pos,
                                     int depth2,
                                     int depth3)