TPTPWorld.ATPSystem Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-component Show documentation

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

There is a newer version: 2.10

Show newest version

package TPTPWorld;

import java.util.*;
import java.io.*;

public class ATPSystem {
  public String name;
  public String version;
  public String command;
  public String preCommand;
  public String url;
  
  public Vector solved[];
  public Vector startSoln[];
  public Vector endSoln[];
  public Vector status;
  
  public ATPSystem (String name,
                    String version,
                    String preCommand,
                    String command,
                    String url,
                    Vector solved[],
                    Vector startSoln[],
                    Vector endSoln[],
                    Vector status) {
    this.name = name;
    this.version = version;
    this.preCommand = preCommand;
    this.command = command;
    this.url = url;
    this.solved = solved;
    this.startSoln = startSoln;
    this.endSoln = endSoln;
    this.status = status;

    /*
    System.out.println("New System");
    System.out.println("name: " + name);
    System.out.println("version: " + version);
    System.out.println("command: " + command);
    System.out.println("url: " + url);
    System.out.println("# solved status: " + solved[0].size());
    for (int i = 0; i < solved[0].size(); i++) {
      System.out.println("  solved tag: " + solved[0].elementAt(i));
      System.out.println("  solved value: " + solved[1].elementAt(i));
    }
    System.out.println("# start Soln: " + startSoln[0].size());
    for (int i = 0; i < startSoln[0].size(); i++) {
      System.out.println("  startSoln tag: " + startSoln[0].elementAt(i));
      System.out.println("  startSoln value: " + startSoln[1].elementAt(i));
    }
    System.out.println("# end Soln: " + endSoln[0].size());
    for (int i = 0; i < endSoln[0].size(); i++) {
      System.out.println("  endSoln tag: " + endSoln[0].elementAt(i));
      System.out.println("  endSoln value: " + endSoln[1].elementAt(i));
    }
    System.out.println("# statuses: " + status.size());
    for (int i = 0; i < status.size(); i++) {
      System.out.println("  status: " + status.elementAt(i));
    }
    */
  }

}