Constructor and Description |
---|
PhaseOptwjtp_tn() |
Modifier and Type | Method and Description |
---|---|
void |
setavoid_deadlock(boolean arg) |
void |
setdo_mhp(boolean arg) |
void |
setdo_tlo(boolean arg) |
void |
setenabled(boolean arg) |
void |
setlocking_scheme(String arg) |
void |
setopen_nesting(boolean arg) |
void |
setprint_debug(boolean arg) |
void |
setprint_graph(boolean arg) |
void |
setprint_table(boolean arg) |
public void setenabled(boolean arg)
public void setavoid_deadlock(boolean arg)
public void setopen_nesting(boolean arg)
public void setdo_mhp(boolean arg)
public void setdo_tlo(boolean arg)
public void setprint_graph(boolean arg)
public void setprint_table(boolean arg)
public void setprint_debug(boolean arg)
public void setlocking_scheme(String arg)
Copyright © 2020 Sable. All rights reserved.