Académique Documents
Professionnel Documents
Culture Documents
View:
public class View{
public static void main(String args[]){
IRepository repo = new Repository();
Expression e1 = new DisjunctionExpr(
new ConstantExpression(0),
new ConstantExpression(1)
)
Expression e2 = new ConjunctionExpr(
new ConstantExpression(0),
new ConstantExpression(1)
)
Expression e3 = new NegExpression(new ConstantExpression(1));
Expression e4 = new ConjunctionExpr(
new DisjunctionExpr(
new ConstantExpression(0),
new ConstantExpression(1)
)
new DisjunctionExpr(
new ConstantExpression(1),
new ConstantExpression(1)
)
)
repo.add(e1); repo.add(e2); repo.add(e3); repo.add(e4);
Controller ctrl = new Controller(repo);
ctrl.allStep();
}
}