public class prover
extends java.lang.Object
Constructor and Description |
---|
prover() |
Modifier and Type | Method and Description |
---|---|
static boolean |
dispatch(java.lang.String s) |
static Automaton |
dispatchForIntegrationTest(java.lang.String s) |
static Automaton |
eval_def_commands(java.lang.String s) |
static boolean |
loadCommand(java.lang.String s)
load x.p; loads commands from the file x.p.
|
static void |
main(java.lang.String[] args)
if the command line argument is not empty, we treat args[0] as a filename.
|
static boolean |
readBuffer(java.io.BufferedReader in,
boolean console)
Takes a BufferedReader and reads from it until we hit end of file or exit command.
|
static Automaton |
regCommand(java.lang.String s) |
static void |
run(java.lang.String[] args) |
public static void main(java.lang.String[] args) throws java.lang.Exception
args
- java.lang.Exception
public static void run(java.lang.String[] args)
public static boolean readBuffer(java.io.BufferedReader in, boolean console)
in
- console
- = true if in = System.inpublic static boolean dispatch(java.lang.String s) throws java.lang.Exception
java.lang.Exception
public static Automaton dispatchForIntegrationTest(java.lang.String s) throws java.lang.Exception
java.lang.Exception
public static boolean loadCommand(java.lang.String s) throws java.lang.Exception
s
- java.lang.Exception
public static Automaton eval_def_commands(java.lang.String s) throws java.lang.Exception
java.lang.Exception
public static Automaton regCommand(java.lang.String s) throws java.lang.Exception
java.lang.Exception