R?      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  Safe-Inferred+Interactive session commands This function uses the expected/unexpected messages to understand what to autocomplete. Any unexpected character means parse did not reach the end of the input, hence cannot autocomplete. @        *        Safe-Inferred+  ! !  !None+-$The univ sig does not have a parent 3Alloy solution  !"#$%&'()*+,-./01234567"#$%&' !"#$%&'()*+,-./012345673456-./012*+,$%&'() !"#7  !"#$%&'()*+,-./01234567"#$%&'None+ 89:;<=>?@ABCDEFGHIJKLMN(OP)*+,-.89:;<=>?@ABCDEFGHIJKLMNOPEJIHFKLKLKLKGABCD=>?@89:;<MNOP89:;<=>?@ABCDE JIHFKLKLKLKGMN(OP)*+,-.None+Q6The tuple of name and ordinal must be globally unique aClafer model instance /A map of label -> Sig $01234QRSTUVWXYZ[\]^_`abcd56e789:/f;<QRSTUVWXYZ[\]^_`abcdefabc\]^_`QRSTUZXV[YWdfe02134QRSTUZXV[YW\]^_`abcd56e789:/f;<None+=Sample: maps the id to the its simple name and the number of times its simple name appeared in the census before it | Count: maps the simple name to the total count of the simple name >!Adds the full name to the census ? Count the number of each clafer g1Rewrite the model into a human-friendlier format =@>?gAgg=@>?gANone+h9Generate a representation of the instance in JSON format hBCDEFGhhhBCDEFGNone+kBStart another process and return the piped std_in, std_out stream l"Wait until the process terminates m!Reads the entire output verbatim nRead the message pPut the message iHIJKjklmnopijklmnopijlmnopkiHIJKjklmnopNone*+B!Instance generator's environment #An interface to the Alloy Analyzer %Call load before any other commands. #Get the next solution from alloyIG *Tell alloyIG to change the scope of a sig (Tell alloyIG to change the global scope )Tell alloyIG to recalculate the solution 'Tell alloyIG to save the current state "Tell alloyIG to restore the state &Tell alloyIG to remove the constraint @Tell alloyIG to return the unsat core of the previous operation hTell alloyIG to change the unsat core minimization level. 0 -> Fastest, 1 -> Medium, 2 -> Best $Tell alloyIG to change the bitwidth Tell alloyIG to quit 2qrstuvwxyz{|}~1qrstuvwxyz{|}~2yz{|}~txwvuqrs!qrstxwvuyz{|}~ None*+BMLMNOPHH) LMNOP None+Interactive session interface -bitwidth required to store the given integer 2the largest integer allowed by the given bitwidth Q3the smallest integer allowed by the given bitwidth *RSTUVWXYZ[\]^_`abcdefgQhijklmnopqrsRSTUVWXYZ[\cba`_^]defgQhijklmnopqrst  !"#$%&'()*+,,-./0112345667889:;<==>?@AABCDEEFGHHIJKLMNOPQRSTUVWWXYZ[\]^_`aabcdeefghijklmnopqrsttuvwxyz88{|}~     t                      !"##$%&'()*+,-.,/012345l678 9 : ; ; < = > ? @ @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z[claferIG-0.3.8$Language.Clafer.IG.CommandLineParserLanguage.Clafer.IG.SolutionLanguage.Clafer.IG.ConstraintsLanguage.Clafer.IG.ClaferModelLanguage.Clafer.IG.Sugarer Language.Clafer.IG.JSONGeneratorLanguage.Clafer.IG.Process#Language.Clafer.IG.AlloyIGInterfaceLanguage.Clafer.IG.ClaferIGLanguage.Clafer.IG.CommandLinePaths_claferIG parsec-3.1.8Text.Parsec.Error errorMessagesUnsatCoreMinimizationBestMediumFastestCommandSetUnsatCoreMinimizationShowAlloyInstanceShowAlloyModelShowClaferModel LoadScopes SaveScopes ShowScopesFindHelpReloadQuitSave SetMaxInt SetBitwidthSetScopeSetGlobalScope IncreaseScopeIncreaseGlobalScopeNextunexpectedMessageexpectedMessageparseCommandLineparseCommandLineAutoCompletecommandStringsTuplet_from t_fromTypet_tot_toTypeFieldf_labelf_id f_parentIdf_tuplesAtoma_labelSigs_labels_id s_parentIds_atomsSolutions_sigss_fields parseSolutionConstraintInfopIdpossyntax ClaferInfouniqueId cardinality Cardinalitylowerupper ConstraintUserConstraintconstraintInfoUpperCardinalityConstraintLowerCardinalityConstraintExactCardinalityConstraintrange claferInfoisLowerCardinalityConstraintisUpperCardinalityConstraintlookupConstraintparseConstraintsIdi_name i_ordinalValue StringValuev_strIntValuev_value AliasValuec_aliasClaferc_idc_value c_children ClaferModel c_topLevelc_nametraversebuildClaferModelsugarClaferModel generateJSONProcessexecutableDirectory pipeProcesswaitForgetContentsVerbatim getMessage readMessage putMessage UnsatCorecore MultiplicityAnySomeLoneOnes_names_multiplicitys_subsets_startingScope AlloyIGEnv alloyModelsigMapscopes globalScopeAlloyIGTfetchfetchessetproc withinRange runAlloyIGT getAlloyModelgetSigsloadsendLoadCommandsendNextCommandgetScope getScopessendSetScopeCommandgetGlobalScopesendSetGlobalScopeCommandsendResolveCommandsendSaveStateCommandsendRestoreStateCommandsendRemoveConstraintCommandsendUnsatCoreCommand#sendSetUnsatCoreMinimizationCommandsendSetBitwidthCommandsendQuitCommandgetMsgreadMsgputMsg$fMonadTransAlloyIGTCounterexampleremovedConstraintscounterexampleInstancecounterexampleAlloyInstanceInstance NoInstanceunsatConstraintscounterexample modelInstancealloyModelInstance ClaferIGEnv claferEnv' claferIGArgs constraints claferModel qNameMapsinfostrMap lineNumMap ClaferIGTIGArgsallsaveDirclaferModelFile alloySolutionbitwidthmaxIntuseUidsaddTypesjsonflatten_inheritance_compno_layout_compcheck_duplicates_compskip_resolver_compscope_strategy_compclaferIGVersion runClaferIGT getClaferEnv getlineNumMapgetClaferIGArgsgetConstraintsgetClaferModel getStrMapgetInfostrictReadFilesolve getClafers getBitwidthsetGlobalScope getQNameMaps valueOfScope increaseScopesetScope setAlloyScopenextreloadsetUnsatCoreMinimization setBitwidthquitsigToClaferName findRemovablefst3runCommandLinepickLargerScoperequiredBitwidth allowedMaxInt printErrorfindNecessaryBitwidth intToFloat commandLinecommand commandMap helpCommandincreaseCommand setCommandsetBitwidthCommandsetMaxIntCommand nextCommand quitCommand saveCommand reloadCommand findCommandshowScopesCommandsaveScopesCommandloadScopesCommandclaferModelCommandalloyModelCommandalloyInstanceCommandgapincreaseGlobalScopeexplicitIncreaseGlobalScopeexplicitSetGlobalScopeexplicitIncreaseScopeexplicitSetScope setMaxIntnumber signedNumberclaferclaferInstanceunsatCoreMinimizationcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameparseSig parseAtom parseField findOptAttrfindAttrgetAttrsto subclafers constraintsubexpressions$fShowConstraintInfo$fShowClaferInfo$fShowCardinality buildSigMapNode ValueNode ClaferNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTree $fShowClafer$fShowClaferModelCensuspollclaferModelCensus retrieveSuper printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsstdInstdOut procHandle$fMonadTransClaferIGT allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoCompleteNo_Auto Auto_Digit Auto_SpaceAuto_UnsatCoreMinimizationAuto_ClaferInstance Auto_Clafer Auto_CommandtryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow