set of states, from which test can be runned.
set of states, from which test can be runned.
check when state satisficy position
check when state satisficy position
set of state aspects, which must be clean
set of state aspects, which must be clean
Choose one state from correct, which is loaded by engine to start this preconditions.
Choose one state from correct, which is loaded by engine to start this preconditions.
return condition where input state can be any (and used aspects same as current)
return condition where input state can be any (and used aspects same as current)
return condition wiht added startState s.
return condition wiht added startState s.
return condition whith input states from s.
return condition whith input states from s.
return condition whith marked aspects from s
return condition whith marked aspects from s
return condition where input state is undefined.
return condition where input state is undefined.