set of states, from which test can be runned.
set of states, from which test can be runned.
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.
check when state satisficy position
StateCondition - what states is needed and what aspects must be cleaned.