dk.brics.bisim.equiv
Class Strategy

java.lang.Object
  extended by 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

Field Summary
private  java.lang.String action
           
private  int side
           
private  java.lang.String targetNodeName
           
 
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.
 
Method Summary
 java.lang.String getAction()
           
 int getSide()
           
 java.lang.String getTargetNodeName()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

side

private int side

action

private java.lang.String action

targetNodeName

private java.lang.String targetNodeName
Constructor Detail

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 side
action - An action
targetNodeName - A target node name
Method Detail

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