add_precondition


Description:

public void add_precondition (Observation precondition)