wytp.provers

Class AutomatedTheoremProver

java.lang.Object

wytp.provers.AutomatedTheoremProver

public class AutomatedTheoremProver
extends Object

Constructor Summary

Constructors

Constructor and Description
AutomatedTheoremProver(TypeSystem typeSystem)

Method Summary

Modifier and Type	Method and Description
void	check(WyalFile source, wyfs.lang.Path.Entry<?> originalSource)
void	print(Proof proof)
void	setPrintProof(boolean flag)
void	setProofLimit(int size)
void	setProofWidth(int width)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatedTheoremProver

public AutomatedTheoremProver(TypeSystem typeSystem)

Method Detail

setPrintProof

public void setPrintProof(boolean flag)

setProofLimit

public void setProofLimit(int size)

setProofWidth

public void setProofWidth(int width)

check

public void check(WyalFile source,
                  wyfs.lang.Path.Entry<?> originalSource)

print

public void print(Proof proof)