Package owl.automaton.acceptance.transformer

Class ZielonkaTreeTransformations.Path

java.lang.Object

owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.Path

Enclosing class:

ZielonkaTreeTransformations

public abstract static class ZielonkaTreeTransformations.Path
extends Object

Constructor Summary

Constructors

Constructor	Description
Path()

Method Summary

Modifier and Type	Method	Description
abstract com.google.common.primitives.ImmutableIntArray	indices()
static ZielonkaTreeTransformations.Path	of()
static ZielonkaTreeTransformations.Path	of(com.google.common.primitives.ImmutableIntArray indices)

Methods inherited from class java.lang.Object

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

Constructor Detail

Path

public Path()

Method Detail

indices

public abstract com.google.common.primitives.ImmutableIntArray indices()

of

public static ZielonkaTreeTransformations.Path of()

of

public static ZielonkaTreeTransformations.Path of(com.google.common.primitives.ImmutableIntArray indices)