Class SimplePlRule

  • All Implemented Interfaces:
    Formula, Rule<PlFormula,​PlFormula>

    public class SimplePlRule
    extends java.lang.Object
    implements Rule<PlFormula,​PlFormula>
    Basic data structure for handling simple rule
    Author:
    Federico Cerutti (federico.cerutti@acm.org)