code: public final void setPropositionDefinitions(PropositionDefinition[] propDefs) {
          if (propDefs == null) {
              propDefs = EMPTY_PROP_DEF_ARRAY;
          }
          this.propDefs = propDefs.clone();
      }
docs: Returns an optional set of user-specified proposition definitions.
  
  @param propDefs an array of {@link PropositionDefinition}s.