edu.ucla.util.code
Class MAPCoder

Object
  extended by AbstractCodeGenius
      extended by MAPCoder
All Implemented Interfaces:
ChangeBroadcaster, CodeGenius

public class MAPCoder
extends AbstractCodeGenius
implements CodeGenius

Since:
050604
Author:
Keith Cascio

Nested Class Summary
static class MAPCoder.OptionPrune
           
static class MAPCoder.OptionTimings
           
 
Field Summary
static OptionBreadth OPTION_AMOUNT
           
static MAPCoder.OptionPrune OPTION_PRUNE
           
static MAPCoder.OptionTimings OPTION_TIMINGS
           
static CodeOption OPTION_WITH_COMMENTS
           
static String STR_METHOD_NAME
           
static String STR_NAME_OUTPUT_CLASS
           
 
Fields inherited from class AbstractCodeGenius
EVENT_SETTING_CHANGED
 
Constructor Summary
MAPCoder()
           
 
Method Summary
static void arrayToCode(Object[] values, PrintStream out)
           
static void arrayToCodePlusString(Object[] values, PrintStream out)
           
 String describe()
           
 String describeDependencies()
           
 void describeDependencies(Tree tree)
           
 String getIconFileName()
           
 OptionBreadth getOptionBreadth()
           
 CodeOption[] getOptions()
           
 String getOutputClassNameDefault()
           
 String getShortDescription()
           
static void printCollectionOfIDs(Collection list, PrintStream out)
           
 void setApproximationParameters(SearchMethod sm, InitializationMethod im, int steps)
           
 void setEvidence(Map evidence)
           
 void setExactOrNot(boolean flag)
           
 void setExactParameters(int timeoutsecs, int widthbarrier, boolean sloppy, double slop)
           
 void setPathInputFile(String path)
           
 void setVariables(Collection vars)
           
static String toCode(Object obj)
           
 void writeApproximationQuery(boolean withComments, PrintStream out)
           
 void writeCode(PrintStream out)
           
static void writeEvidence(Map evidence, boolean withComments, PrintStream out)
           
 void writeExactQuery(boolean withComments, PrintStream out)
           
 void writePost(boolean withComments, CodeOptionValue breadth, PrintStream out)
           
 void writePre(boolean withComments, CodeOptionValue breadth, PrintStream out)
           
 void writeQuery(boolean withComments, PrintStream out)
           
 
Methods inherited from class AbstractCodeGenius
addChangeListener, breadth, fireSettingChanged, getFlag, getOption, getOutputClassName, getWarnings, isCompilable, removeChangeListener, resetOptions, setFlag, setOption, setOutputClassName
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface CodeGenius
breadth, getFlag, getOption, getOutputClassName, getWarnings, isCompilable, resetOptions, setFlag, setOption, setOutputClassName
 
Methods inherited from interface ChangeBroadcaster
addChangeListener, fireSettingChanged, removeChangeListener
 

Field Detail

STR_NAME_OUTPUT_CLASS

public static final String STR_NAME_OUTPUT_CLASS
See Also:
Constant Field Values

STR_METHOD_NAME

public static final String STR_METHOD_NAME
See Also:
Constant Field Values

OPTION_TIMINGS

public static final MAPCoder.OptionTimings OPTION_TIMINGS

OPTION_PRUNE

public static final MAPCoder.OptionPrune OPTION_PRUNE

OPTION_AMOUNT

public static final OptionBreadth OPTION_AMOUNT

OPTION_WITH_COMMENTS

public static final CodeOption OPTION_WITH_COMMENTS
Constructor Detail

MAPCoder

public MAPCoder()
Method Detail

getIconFileName

public String getIconFileName()
Specified by:
getIconFileName in interface CodeGenius
Since:
022305

describe

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

getShortDescription

public String getShortDescription()
Specified by:
getShortDescription in interface CodeGenius

describeDependencies

public String describeDependencies()
Specified by:
describeDependencies in interface CodeGenius

describeDependencies

public void describeDependencies(Tree tree)
Specified by:
describeDependencies in interface CodeGenius

getOutputClassNameDefault

public String getOutputClassNameDefault()
Specified by:
getOutputClassNameDefault in interface CodeGenius

writeCode

public void writeCode(PrintStream out)
Specified by:
writeCode in interface CodeGenius

getOptions

public CodeOption[] getOptions()
Specified by:
getOptions in interface CodeGenius

getOptionBreadth

public OptionBreadth getOptionBreadth()
Specified by:
getOptionBreadth in interface CodeGenius
Since:
20060327

setEvidence

public void setEvidence(Map evidence)

setVariables

public void setVariables(Collection vars)

setExactOrNot

public void setExactOrNot(boolean flag)

setApproximationParameters

public void setApproximationParameters(SearchMethod sm,
                                       InitializationMethod im,
                                       int steps)

setExactParameters

public void setExactParameters(int timeoutsecs,
                               int widthbarrier,
                               boolean sloppy,
                               double slop)

setPathInputFile

public void setPathInputFile(String path)

writePre

public void writePre(boolean withComments,
                     CodeOptionValue breadth,
                     PrintStream out)

writePost

public void writePost(boolean withComments,
                      CodeOptionValue breadth,
                      PrintStream out)

writeQuery

public void writeQuery(boolean withComments,
                       PrintStream out)

writeEvidence

public static void writeEvidence(Map evidence,
                                 boolean withComments,
                                 PrintStream out)

writeExactQuery

public void writeExactQuery(boolean withComments,
                            PrintStream out)

writeApproximationQuery

public void writeApproximationQuery(boolean withComments,
                                    PrintStream out)

printCollectionOfIDs

public static void printCollectionOfIDs(Collection list,
                                        PrintStream out)

arrayToCode

public static void arrayToCode(Object[] values,
                               PrintStream out)

arrayToCodePlusString

public static void arrayToCodePlusString(Object[] values,
                                         PrintStream out)

toCode

public static String toCode(Object obj)


Copyright 2010 UCLA Automated Reasoning Group