Package owl.ltl.rewriter

Class LiteralMapper.ShiftedLabelledFormula

java.lang.Object

owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula

Enclosing class:

LiteralMapper

public static final class LiteralMapper.ShiftedLabelledFormula
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
LabelledFormula	formula
com.google.common.primitives.ImmutableIntArray	mapping

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

formula

public final LabelledFormula formula

mapping

public final com.google.common.primitives.ImmutableIntArray mapping