Package owl.translations.dra2dpa
Class IARState<R>
- java.lang.Object
-
- owl.translations.dra2dpa.IARState<R>
-
- All Implemented Interfaces:
AnnotatedState<R>
@Immutable public abstract class IARState<R> extends Object implements AnnotatedState<R>
-
-
Constructor Summary
Constructors Constructor Description IARState()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description static <R> IARState<R>
active(R originalState, de.tum.in.naturals.IntPreOrder record)
abstract de.tum.in.naturals.IntPreOrder
record()
abstract R
state()
String
toString()
static <R> IARState<R>
trivial(R originalState)
-
-
-
Method Detail
-
state
public abstract R state()
- Specified by:
state
in interfaceAnnotatedState<R>
-
record
public abstract de.tum.in.naturals.IntPreOrder record()
-
active
public static <R> IARState<R> active(R originalState, de.tum.in.naturals.IntPreOrder record)
-
trivial
public static <R> IARState<R> trivial(R originalState)
-
-