QProofModel.hpp

#ifndef QPROOFMODEL_HPP
#define QPROOFMODEL_HPP

#include <QAbstractItemModel>
#include "theorem_prover/first_order_logic/term.hpp"
class QProofModel : public QAbstractItemModel
{
	Q_OBJECT
public:
	typedef theorem_prover::first_order_logic::proof_tree proof_tree;
	typedef theorem_prover::first_order_logic::term term;
	std::shared_ptr< proof_tree > pt;
	explicit QProofModel( const std::shared_ptr< theorem_prover::first_order_logic::term > & ptr, QObject *parent = 0);
	QModelIndex index(int row, int column, const QModelIndex &parent) const override;
	QModelIndex parent(const QModelIndex &child) const override;
	int rowCount(const QModelIndex &parent) const;
	int columnCount(const QModelIndex &parent) const;
	QVariant data(const QModelIndex &index, int role) const;
	QVariant headerData(int section, Qt::Orientation orientation, int role) const;
};

#endif // QPROOFMODEL_HPP