public void AcceptSolve(SolveStatement stmt)
{
SingleResult(GetAtomicSuccessor(stmt));
}
public void AcceptSolve(SolveStatement stmt)
{
_result.Add(stmt);
}
/// <summary>
/// Not implemented.
/// </summary>
/// <exception cref="NotImplementedException">always thrown</exception>
public virtual void AcceptSolve(SolveStatement stmt)
{
throw new NotImplementedException();
}
public void AcceptSolve(SolveStatement stmt)
{
}
public void AcceptSolve(SolveStatement stmt)
{
IsEmpty = false;
}
public void AcceptSolve(SolveStatement stmt)
{
}
public void AcceptSolve(SolveStatement stmt)
{
throw new NotImplementedException();
}
public void AcceptSolve(SolveStatement stmt)
{
IsEmpty = false;
}
public override void AcceptSolve(SolveStatement stmt)
{
Success = false;
}
public void AcceptSolve(SolveStatement stmt)
{
SimpleResult(stmt);
}
public void AcceptSolve(SolveStatement stmt)
{
Result = stmt;
}
public void AcceptSolve(SolveStatement stmt)
{
_result.Add(stmt);
}
public void AcceptSolve(SolveStatement stmt)
{
SingleResult(GetAtomicSuccessor(stmt));
}
public void AcceptSolve(SolveStatement stmt)
{
Result = stmt;
}
public void AcceptSolve(SolveStatement stmt)
{
Check(stmt);
}
public void AcceptSolve(SolveStatement stmt)
{
Check(stmt);
}
public void AcceptSolve(SolveStatement stmt)
{
SimpleResult(stmt);
}
