public function toString($elaborate = false)
{
$output = get_class($this) . ": [" . $this->getContext()->getId(true) . "]";
if (!$elaborate) {
return $output;
} else {
$output . ' transitions: ' . count($this->getTransitions()) . ', states: ' . count($this->getStates()) . '.';
$output .= '[transitions]: ' . implode(",", $this->getTransitions());
$output .= '. [states]: ' . implode(",", $this->getStates()) . '.';
return $output;
}
}