public function testGetKey()
{
$state = new SituationSet();
$ruleA = new Rule();
$ruleA->setId(12);
$ruleB = new Rule();
$ruleB->setId(13);
$state->add(new Situation(new Table(), $ruleA, 1));
$state->add(new Situation(new Table(), $ruleB, 2));
$this->assertEquals('12.1|13.2', $state->getKey());
$this->assertEquals('12.1|13.2', $state->getKey());
}
/**
* @param SituationSet $situationSet
*
* @return \Jungle\SLR\State
*/
public function addState(SituationSet $situationSet)
{
$key = $situationSet->getKey();
if (!isset($this->states[$key])) {
$this->states[$key] = new State($situationSet);
$this->stateQueue->enqueue($this->states[$key]);
}
return $this->states[$key];
}
