Package owl.automaton.symbolic

Class RangedVariableAllocator

java.lang.Object

owl.automaton.symbolic.RangedVariableAllocator

All Implemented Interfaces:

SymbolicAutomaton.VariableAllocator

public final class RangedVariableAllocator
extends Object
implements SymbolicAutomaton.VariableAllocator

Constructor Summary

Constructors

Constructor	Description
RangedVariableAllocator(owl.automaton.symbolic.SymbolicAutomaton.VariableType... order)

Method Summary

Modifier and Type	Method	Description
SymbolicAutomaton.VariableAllocation	allocate(int stateVariables, int atomicPropositions, int colours)

Methods inherited from class java.lang.Object

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

Constructor Detail

RangedVariableAllocator

public RangedVariableAllocator(owl.automaton.symbolic.SymbolicAutomaton.VariableType... order)

Method Detail

allocate

public SymbolicAutomaton.VariableAllocation allocate(int stateVariables,
                                                     int atomicPropositions,
                                                     int colours)

Specified by:

allocate in interface SymbolicAutomaton.VariableAllocator