dk.brics.bisimulationGame.model
Interface GlobalModel
- All Superinterfaces:
- java.rmi.Remote
- All Known Implementing Classes:
- GlobalModelImpl
public interface GlobalModel
- extends java.rmi.Remote
The remote interface of a global model.
Defines methods that can be invoked remotely using RMI.
These methods are those invoked by any GameController instance.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
getLeftFile
java.lang.String getLeftFile()
throws java.rmi.RemoteException
- Returns:
- The left file name
- Throws:
java.rmi.RemoteException
getRightFile
java.lang.String getRightFile()
throws java.rmi.RemoteException
- Returns:
- The right file name
- Throws:
java.rmi.RemoteException
getRole
int getRole()
throws java.rmi.RemoteException
- Returns:
- The role of the player who created the global model object
(attacker/defender)
- Throws:
java.rmi.RemoteException
getLeftGraphAsDot
java.lang.String getLeftGraphAsDot()
throws java.rmi.RemoteException
- Returns:
- The left Grappa graph as a dot representation
- Throws:
java.rmi.RemoteException
getRightGraphAsDot
java.lang.String getRightGraphAsDot()
throws java.rmi.RemoteException
- Returns:
- The right Grappa graph as a dot representation
- Throws:
java.rmi.RemoteException
getBisimulation
int getBisimulation()
throws java.rmi.RemoteException
- Returns:
- The bisimulation type (strong/weak)
- Throws:
java.rmi.RemoteException