Merge branch 'comparable-formula' into 'master'
Define a (natural) total order on formulas. See merge request i7/owl!265
Showing
- src/main/java/owl/ltl/Biconditional.java 10 additions, 4 deletionssrc/main/java/owl/ltl/Biconditional.java
- src/main/java/owl/ltl/BinaryModalOperator.java 10 additions, 2 deletionssrc/main/java/owl/ltl/BinaryModalOperator.java
- src/main/java/owl/ltl/BooleanConstant.java 14 additions, 10 deletionssrc/main/java/owl/ltl/BooleanConstant.java
- src/main/java/owl/ltl/Formula.java 54 additions, 3 deletionssrc/main/java/owl/ltl/Formula.java
- src/main/java/owl/ltl/FrequencyG.java 3 additions, 3 deletionssrc/main/java/owl/ltl/FrequencyG.java
- src/main/java/owl/ltl/Literal.java 13 additions, 4 deletionssrc/main/java/owl/ltl/Literal.java
- src/main/java/owl/ltl/PropositionalFormula.java 23 additions, 3 deletionssrc/main/java/owl/ltl/PropositionalFormula.java
- src/main/java/owl/ltl/UnaryModalOperator.java 9 additions, 2 deletionssrc/main/java/owl/ltl/UnaryModalOperator.java
- src/test/java/owl/ltl/FormulaTest.java 35 additions, 7 deletionssrc/test/java/owl/ltl/FormulaTest.java
Loading
Please register or sign in to comment