Package soot

Class AntTask.PhaseOptwjtp_tn

  • Enclosing class:
    AntTask

    public class AntTask.PhaseOptwjtp_tn
    extends Object
    • Constructor Detail

      • PhaseOptwjtp_tn

        public PhaseOptwjtp_tn()
    • Method Detail

      • setenabled

        public void setenabled​(boolean arg)
      • setavoid_deadlock

        public void setavoid_deadlock​(boolean arg)
      • setopen_nesting

        public void setopen_nesting​(boolean arg)
      • setdo_mhp

        public void setdo_mhp​(boolean arg)
      • setdo_tlo

        public void setdo_tlo​(boolean arg)
      • setprint_graph

        public void setprint_graph​(boolean arg)
      • setprint_table

        public void setprint_table​(boolean arg)
      • setprint_debug

        public void setprint_debug​(boolean arg)
      • setlocking_scheme

        public void setlocking_scheme​(String arg)