public void initialize() {
phase = "passive";
sigma = INFINITY;
job = new entity("job");
sw = false;
input = new String("in");
super.initialize();
}
public void showState() {
super.showState();
System.out.println("modeltN: " + tN);
System.out.println("gMail: " + gMail);
System.out.println("pMail: " + pMail);
}
public void initialize() {
tN = INFINITY;
gMail = new message();
pMail = new message();
tMail = new message();
holdIn("nextTN", 0);
super.initialize();
}
public void showState() {
super.showState();
System.out.println("job: " + job.getName());
System.out.println("input: " + input);
System.out.println("sw: " + sw);
}