chord.bddbddb
Class Solver

java.lang.Object
  chord.bddbddb.Solver

public class Solver
extends java.lang.Object

Interface to bddbddb's BDD-based Datalog solver.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Constructor Summary

Solver()

Method Summary

static void

run(java.lang.String fileName) Runs bddbddb's BDD-based Datalog solver on the specified Datalog program.

Methods inherited from class java.lang.Object

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

Constructor Detail

Solver

public Solver()

Method Detail

run

public static void run(java.lang.String fileName)

Runs bddbddb's BDD-based Datalog solver on the specified Datalog program.

The maximum amount of memory available to the solver at run-time can be specified by the user via system property bddbddb.max.heap.size (default is 1024m).

Parameters:

fileName - A file containing a Datalog program.