returns a reference to the single , unique , initproposition . concode_field_sep Map<GdlTerm,Proposition> inputPropositions concode_elem_sep Set<Component> components concode_elem_sep Proposition initProposition concode_elem_sep Set<Proposition> propositions concode_elem_sep long serialVersionUID concode_elem_sep Map<Role,Set<Proposition>> legalPropositions concode_elem_sep Map<Role,Set<Proposition>> goalPropositions concode_elem_sep Map<Proposition,Proposition> legalInputMap concode_elem_sep List<Role> roles concode_elem_sep Proposition terminalProposition concode_elem_sep Map<GdlTerm,Proposition> basePropositions concode_field_sep Proposition getTerminalProposition concode_elem_sep Set<Proposition> getPropositions concode_elem_sep Map<Role,Set<Proposition>> recordGoalPropositions concode_elem_sep Map<Proposition,Proposition> getLegalInputMap concode_elem_sep void addComponent concode_elem_sep Proposition recordTerminalProposition concode_elem_sep Map<GdlTerm,Proposition> recordBasePropositions concode_elem_sep Map<Proposition,Proposition> makeLegalInputMap concode_elem_sep Set<Component> getComponents concode_elem_sep void renderToFile concode_elem_sep Map<GdlTerm,Proposition> getBasePropositions concode_elem_sep List<Role> getRoles concode_elem_sep Set<Proposition> recordPropositions concode_elem_sep Proposition getInitProposition concode_elem_sep Map<GdlTerm,Proposition> recordInputPropositions concode_elem_sep Map<Role,Set<Proposition>> recordLegalPropositions concode_elem_sep Map<Role,Set<Proposition>> getGoalPropositions concode_elem_sep int getNumAnds concode_elem_sep Map<GdlTerm,Proposition> getInputPropositions concode_elem_sep int getNumOrs concode_elem_sep int getSize concode_elem_sep Map<Role,Set<Proposition>> getLegalPropositions concode_elem_sep int getNumNots concode_elem_sep String toString concode_elem_sep int getNumLinks
Proposition function ( ) { for ( Proposition loc0 : propositions ) { if ( loc0 . getName ( ) instanceof GdlConstant ) { GdlConstant loc1 = ( GdlConstant ) loc0 . getName ( ) ; if ( loc1 . getValue ( ) . equalsIgnoreCase ( "srini_string" ) ) { return loc0 ; } } } return null ; }