dk.brics.bisim.equiv
Class Strategy
java.lang.Object
dk.brics.bisim.equiv.Strategy
public class Strategy
- extends java.lang.Object
An attacker strategy.
A strategy consists of a side, an action, and a target node name.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
Constructor Summary |
Strategy(int side,
java.lang.String action,
java.lang.String targetNodeName)
Constructs a strategy based on a side, an action, and a target node
name. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
side
private int side
action
private java.lang.String action
targetNodeName
private java.lang.String targetNodeName
Strategy
public Strategy(int side,
java.lang.String action,
java.lang.String targetNodeName)
- Constructs a strategy based on a side, an action, and a target node
name.
- Parameters:
side
- A sideaction
- An actiontargetNodeName
- A target node name
getSide
public int getSide()
- Returns:
- The side of the strategy
getAction
public java.lang.String getAction()
- Returns:
- The action of the strategy
getTargetNodeName
public java.lang.String getTargetNodeName()
- Returns:
- The target node name of the strategy
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object