#ifndef TPTP_H
#define TPTP_H

#include <iostream>

#include <vector>
#include <string>

using namespace std;

class TPTP{
public:
    vector<string> tffCommands;
    vector<string> boolVariables;
    vector<string> worldVariables;  //spaeter veraendern
    vector<vector<int>> worldRules; //what is in the world true and what is false
    int card;

    //get and set methods and make some properties private

    //construktor
    TPTP();
    TPTP(vector<string> boolV, vector<string> worldV, int _card);

    //destruktor
    ~TPTP();

    //command functions
    void addCommand(string command);
    void showCommands();
    void makeTypeCommands();
    void makeWorldCommands(int card);
    void makeInterpretationCommand(int **graph);
};

#endif // TPTP_H