Package org.prolog4j

Class ProverInformation

java.lang.Object

org.prolog4j.ProverInformation

public class ProverInformation
extends Object

Constructor Summary

Constructors

Constructor	Description
ProverInformation(String id, String name, boolean needsNativeExecutables)

Method Summary

Modifier and Type	Method	Description
String	getId()
String	getName()
boolean	needsNativeExecutables()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProverInformation

public ProverInformation(String id,
                         String name,
                         boolean needsNativeExecutables)

Method Detail

getName

public String getName()

getId

public String getId()

needsNativeExecutables

public boolean needsNativeExecutables()