edu.ucla.util.code
Class MAPCoder.OptionPrune

Object
  extended by AbstractCodeOption
      extended by MAPCoder.OptionPrune
All Implemented Interfaces:
CodeOption
Enclosing class:
MAPCoder

public static final class MAPCoder.OptionPrune
extends AbstractCodeOption
implements CodeOption


Constructor Summary
MAPCoder.OptionPrune()
           
 
Method Summary
 String describe()
           
 String describe(boolean flag)
           
 boolean getDefaultFlag()
           
 String getHelpText()
           
 boolean isFlag()
           
 
Methods inherited from class AbstractCodeOption
getDefault, getValues
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface CodeOption
getDefault, getValues
 

Constructor Detail

MAPCoder.OptionPrune

public MAPCoder.OptionPrune()
Method Detail

describe

public String describe()
Specified by:
describe in interface CodeOption

describe

public String describe(boolean flag)
Specified by:
describe in interface CodeOption
Overrides:
describe in class AbstractCodeOption

getHelpText

public String getHelpText()
Specified by:
getHelpText in interface CodeOption

isFlag

public boolean isFlag()
Specified by:
isFlag in interface CodeOption
Overrides:
isFlag in class AbstractCodeOption

getDefaultFlag

public boolean getDefaultFlag()
Specified by:
getDefaultFlag in interface CodeOption
Overrides:
getDefaultFlag in class AbstractCodeOption


Copyright 2010 UCLA Automated Reasoning Group