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

package com.example.furt.myapplication;

public interface IntroductionRule
{
    int getPriority();
    public Node createNodes(askFormula ask);
}