zeus.concepts
Class ProtocolInfo

java.lang.Object
  zeus.concepts.ProtocolInfo

public class ProtocolInfo

extends java.lang.Object

Field Summary

protected java.util.Vector	constraints
static java.lang.String	INITIATOR
protected java.lang.String	name
static java.lang.String	RESPONDENT
protected java.lang.String	type

Constructor Summary

ProtocolInfo()

ProtocolInfo(ProtocolInfo info)

ProtocolInfo(java.lang.String name, java.lang.String type, Fact fact)

ProtocolInfo(java.lang.String name, java.lang.String type, StrategyInfo[] input)

ProtocolInfo(java.lang.String name, java.lang.String type, java.util.Vector input)

Method Summary

ProtocolInfo	duplicate(DuplicationTable table)
ProtocolInfo	duplicate(java.lang.String name, GenSym genSym)
StrategyInfo[]	getConstraints()
java.lang.String	getName()
java.lang.String	getType()
java.lang.String	pprint()
java.lang.String	pprint(int sp)
boolean	resolve(Bindings b)
void	setConstraints(StrategyInfo[] input)
void	setConstraints(java.util.Vector input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

INITIATOR

public static final java.lang.String INITIATOR

See Also:

Constant Field Values

RESPONDENT

public static final java.lang.String RESPONDENT

See Also:

Constant Field Values

name

protected java.lang.String name

type

protected java.lang.String type

constraints

protected java.util.Vector constraints

Constructor Detail

ProtocolInfo

public ProtocolInfo()

ProtocolInfo

public ProtocolInfo(java.lang.String name,
                    java.lang.String type,
                    Fact fact)

ProtocolInfo

public ProtocolInfo(java.lang.String name,
                    java.lang.String type,
                    StrategyInfo[] input)

ProtocolInfo

public ProtocolInfo(java.lang.String name,
                    java.lang.String type,
                    java.util.Vector input)

ProtocolInfo

public ProtocolInfo(ProtocolInfo info)

Method Detail

duplicate

public ProtocolInfo duplicate(java.lang.String name,
                              GenSym genSym)

duplicate

public ProtocolInfo duplicate(DuplicationTable table)

getName

public java.lang.String getName()

getType

public java.lang.String getType()

getConstraints

public StrategyInfo[] getConstraints()

setConstraints

public void setConstraints(StrategyInfo[] input)

setConstraints

public void setConstraints(java.util.Vector input)

resolve

public boolean resolve(Bindings b)

toString

public java.lang.String toString()

pprint

public java.lang.String pprint()

pprint

public java.lang.String pprint(int sp)