History | View | Annotate | Download (254 Bytes)

#ifndef PML_FORMULA_HH

#define PML_FORMULA_HH

#include "formula.h"

class PML_Formula : public Formula<Rational> {

private:

void load_linear_program(glp_prob* problem, Premise<Rational>& prem);

public:

bdd modal(bdd *b, int n, int m);

};

#endif