Package owl.ltl.rewriter
Class LiteralMapper
- java.lang.Object
-
- owl.ltl.rewriter.LiteralMapper
-
public final class LiteralMapper extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
LiteralMapper.ShiftedFormula
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static LiteralMapper.ShiftedFormula
shiftLiterals(Formula formula)
-
-
-
Method Detail
-
shiftLiterals
public static LiteralMapper.ShiftedFormula shiftLiterals(Formula formula)
-
-