euler

Class Eye

java.lang.Object

euler.Eye

Deprecated.

@Deprecated
public class Eye
extends java.lang.Object

Euler Yap Engine wrapper DEPRECATED -- use euler.ProofEngine

Author:

Jos De Roo

Constructor Summary

Constructors

Constructor and Description
Eye() Deprecated.

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Deprecated.
static java.lang.String	runEye(java.lang.String[] args) Deprecated. runEye method

Methods inherited from class java.lang.Object

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

Constructor Detail

Eye

public Eye()

Deprecated.

Method Detail

main

public static void main(java.lang.String[] args)

Deprecated.

runEye

public static java.lang.String runEye(java.lang.String[] args)

Deprecated.

runEye method

Parameters:

args - [--ttl ] [--path ] see --help

Returns:

the proof