/**
* Resolve non-deterministic automaton into a deterministic state tree
* @return LRStateSet
*/
function resolve()
{
LRState::clear_index();
LRStation::clear_index();
// create Root Set
// we SHOULD have a single etransition to an intial state
return LRStateSet::init($this->etransitions[0], $this->Grammar);
}
/**
*
*/
static function init(LRState $InitialState, Grammar $Grammar)
{
self::$Grammar = $Grammar;
unset($Grammar);
// Start recurive process by creating root set
return self::make(array($InitialState->id => $InitialState));
}
