Package owl.ltl.rewriter
Class LiteralMapper.ShiftedFormula
- java.lang.Object
-
- owl.ltl.rewriter.LiteralMapper.ShiftedFormula
-
- Enclosing class:
- LiteralMapper
public static final class LiteralMapper.ShiftedFormula extends Object
-
-
Field Detail
-
formula
public final Formula formula
-
mapping
public final int[] mapping
-
-