public final void setPropositionDefinitions ( PropositionDefinition [ ] propDefs ) { if ( propDefs == null ) { propDefs = EMPTY_PROP_DEF_ARRAY ; } this . propDefs = propDefs . clone ( ) ; }
Returns an optional set of user - specified proposition definitions .