Package com.articulate.sigma.tp

Class ECNF

java.lang.Object

com.articulate.sigma.tp.ECNF

public class ECNF
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	eproverpath
List<String>	output
StringBuilder	qlist

Constructor Summary

Constructors

Constructor	Description
ECNF()	Create a new batch specification file, and create a new running instance of EProver.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	A simple test.
void	runCustom(File kbFile, int timeout, Collection<String> commands)	Creates a running instance of Eprover with custom command line options.
void	terminate()	Terminate this instance of EProver.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

eproverpath

public static String eproverpath

output

public List<String> output

qlist

public StringBuilder qlist

Constructor Details

ECNF

public ECNF()

Create a new batch specification file, and create a new running instance of EProver.

Throws:

IOException - should not normally be thrown unless either EProver executable or database file name are incorrect e_ltb_runner --interactive LTBSampleInput-AP.txt

Method Details

toString

public String toString()

Overrides:

toString in class Object

terminate

public void terminate()
               throws IOException

Terminate this instance of EProver. After calling this function no further assertions or queries can be done.

Throws:

IOException - should not normally be thrown

runCustom

public void runCustom(File kbFile,
 int timeout,
 Collection<String> commands)
               throws Exception

Creates a running instance of Eprover with custom command line options.

Parameters:

kbFile - A File object denoting the initial knowledge base to be loaded by the Eprover executable.

Throws:

IOException - should not normally be thrown unless either Eprover executable or database file name are incorrect

Exception

main

public static void main(String[] args)
                 throws Exception

A simple test. Works as follows:

1. start E;
2. make an assertion;
3. submit a query;
4. terminate E

Throws:

Exception