TPTPWorld

Class ATPSystem

java.lang.Object

TPTPWorld.ATPSystem

public class ATPSystem
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
String	command
Vector<String>[]	endSoln
String	name
String	preCommand
Vector<String>[]	solved
Vector<String>[]	startSoln
Vector<String>	status
String	url
String	version

Constructor Summary

Constructors

Constructor and Description
ATPSystem(String name, String version, String preCommand, String command, String url, Vector<String>[] solved, Vector<String>[] startSoln, Vector<String>[] endSoln, Vector<String> status)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public String name

version

public String version

command

public String command

preCommand

public String preCommand

url

public String url

solved

public Vector<String>[] solved

startSoln

public Vector<String>[] startSoln

endSoln

public Vector<String>[] endSoln

status

public Vector<String> status

Constructor Detail

ATPSystem

public ATPSystem(String name,
                 String version,
                 String preCommand,
                 String command,
                 String url,
                 Vector<String>[] solved,
                 Vector<String>[] startSoln,
                 Vector<String>[] endSoln,
                 Vector<String> status)