Package owl.ltl

Class LabelledFormula


  • @Immutable
    public abstract class LabelledFormula
    extends Object