AnswerExtractor (sigma-component 2.09 API)

public class AnswerExtractor
extends Object

Constructors
Constructor and Description
`AnswerExtractor()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static ArrayList<Binding>`	`extractAnswers(Hashtable<String,TPTPFormula> ftable)`
`static boolean`	`extractAnswers(TPTPParser parser)`
`static TPTPFormula`	`extractVine(Hashtable<String,TPTPFormula> ftable)`
`static void`	`main(String[] args)`
`static boolean`	`printSZS(TPTPFormula conjecture, ArrayList<Binding> binds)`

public static TPTPFormula extractVine(Hashtable<String,TPTPFormula> ftable)

public static ArrayList<Binding> extractAnswers(Hashtable<String,TPTPFormula> ftable)

public static boolean extractAnswers(TPTPParser parser)

public static boolean printSZS(TPTPFormula conjecture,
                               ArrayList<Binding> binds)

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

Class AnswerExtractor