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 classLiteralMapper.ShiftedLabelledFormula
-
Field Summary
Fields Modifier and Type Field Description static intUNDEFINED
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static LiteralMapper.ShiftedLabelledFormulashiftLiterals(LabelledFormula labelledFormula)
-
-
-
Field Detail
-
UNDEFINED
public static final int UNDEFINED
- See Also:
- Constant Field Values
-
-
Method Detail
-
shiftLiterals
public static LiteralMapper.ShiftedLabelledFormula shiftLiterals(LabelledFormula labelledFormula)
-
-