/// <summary>
/// Accept method for the input data visitor.
/// </summary>
/// <param name="visitor">Visitor.</param>
public void Accept(IVisitor visitor)
{
visitor.Visit(this);
Version.Accept(visitor);
Metric.Accept(visitor);
Variables.Accept(visitor);
MutexGroups.Accept(visitor);
InitialState.Accept(visitor);
GoalConditions.Accept(visitor);
Operators.Accept(visitor);
AxiomRules.Accept(visitor);
}
