[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / EliminationRule.java

package com.example.furt.myapplication;

import java.util.ArrayList;
import java.util.List;

public interface EliminationRule
{
    public String getName();
    public Node createNodes(Formula F, askFormula ask);
}