Could someone answer a Quick java question?
What would be the definition for a post-condition x=0 in this class. I need help with the last part of an assignment and I would much appreciate it. I assume it is: x = 0; but I think that is just too simple.
/*Class FirstMove
{
private int x;
private static int count;
public FirstMove()
{
}*/
What would be the definition for a post-condition x=0 in this class. I need help with the last part of an assignment and I would much appreciate it. I assume it is: x = 0; but I think that is just too simple.
/*Class FirstMove
{
private int x;
private static int count;
public FirstMove()
{
}*/