TPTPWorld

Class ProofSummary

java.lang.Object

TPTPWorld.ProofSummary

public class ProofSummary
extends Object

Constructor Summary

Constructors

Constructor and Description
ProofSummary()

Method Summary

Modifier and Type	Method and Description
static ArrayList<TPTPFormula>	getLemmaVine(TPTPFormula conjecture)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofSummary

public ProofSummary()

Method Detail

getLemmaVine

public static ArrayList<TPTPFormula> getLemmaVine(TPTPFormula conjecture)

main

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

Throws:

Exception