prolog
Class Options

java.lang.Object
  |
  +--prolog.Options

public class Options

extends java.lang.Object

Field Summary

java.io.File	input
boolean	traceConstraints
boolean	traceFacts
boolean	traceQuery
boolean	traceSymbols
java.lang.String	xmlParseOutFile

Constructor Summary

Options()

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

traceSymbols

public boolean traceSymbols

traceFacts

public boolean traceFacts

traceConstraints

public boolean traceConstraints

traceQuery

public boolean traceQuery

input

public java.io.File input

xmlParseOutFile

public java.lang.String xmlParseOutFile

Constructor Detail

Options

public Options()