net.sf.bddbddb
Class Interactive

java.lang.Object
  net.sf.bddbddb.Interactive

public class Interactive
extends java.lang.Object

Command-line interactive bddbddb solver. The command line accepts anything that is valid in a Datalog file, plus a special query syntax that ends with '?'. Queries cause the solver to automatically solve the Datalog with respect to the given query. There are also some extra commands; type "help" to get a list of them.

Version:

$Id: Interactive.java 642 2006-06-08 02:35:35Z joewhaley $

Author:

jwhaley

Field Summary

static java.io.PrintStream	err
static boolean	IGNORE_OUTPUT
static java.io.InputStream	in
static java.io.PrintStream	out
protected DatalogParser	parser Datalog parser.
protected Solver	solver Solver we are using.

Constructor Summary

Interactive(Solver s)
Construct a new interactive solver.

Method Summary

void	interactive() Invoke the interactive solver.
static void	main(java.lang.String[] args) The entry point of the application.
static void	printHelp()

Methods inherited from class java.lang.Object

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

Field Detail

in

public static java.io.InputStream in

out

public static java.io.PrintStream out

err

public static java.io.PrintStream err

IGNORE_OUTPUT

public static boolean IGNORE_OUTPUT

solver

protected Solver solver

Solver we are using.

parser

protected DatalogParser parser

Datalog parser.

Constructor Detail

Interactive

public Interactive(Solver s)

Construct a new interactive solver.

Parameters:

s - solver to use

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.InstantiationException,
                        java.lang.IllegalAccessException,
                        java.lang.ClassNotFoundException,
                        java.io.IOException

The entry point of the application.

Parameters:

args - command line args

Throws:

java.lang.InstantiationException

java.lang.IllegalAccessException

java.lang.ClassNotFoundException

java.io.IOException

printHelp

public static void printHelp()

interactive

public void interactive()

Invoke the interactive solver.