P>      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr s t u v w x y z { | } ~   SafeInteractive session commandsThis 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  ! !  !None-#The univ sig does not have a parent3Alloy solution  !"#$%&'()*+,-./01234567"#$%&' !"#$%&'()*+,-./012345673456-./012*+,$%&'() !"#7  !"#$%&'()*+,-./01234567"#$%&'None 89:;<=>?@ABCDEFGHIJKLMN(OP)*+,-.89:;<=>?@ABCDEFGHIJKLMNOPEFIJKGHGHGHGLABCD=>?@89:;<MNOP89:;<=>?@ABCDE FIJKGHGHGHGLMN(OP)*+,-.NoneQ5The tuple of name and ordinal must be globally uniqueaClafer model instance/A map of label -> Sig$01234QRSTUVWXYZ[\]^_`abcd56e789:/f;<QRSTUVWXYZ[\]^_`abcdefabc\]^_`QRSTUVXZWY[dfe01234QRSTUVXZWY[\]^_`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 claferh0Rewrite the model into a human-friendlier format=@>?hAhh=@>?hANonei8Generate a representation of the instance in JSON formatiBCDEFGiiiBCDEFGSafelAStart another process and return the piped std_in, std_out streamm!Wait until the process terminatesn Reads the entire output verbatimoRead the messageqPut the message jHIJKklmnopqjklmnopqjkmnopqljHIJKklmnopq None*C 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 operationdTell alloyIG to change the unsat core minimization level. 0 -> Fastest, 1 -> Medium, 2 -> Best#Tell alloyIG to change the bitwidthTell alloyIG to quit2rstuvwxyz{|}~1rstuvwxyz{|}~2z{|}~uvwxyrst!rstuvwxyz{|}~None*+CMLMNOPQHgHg) LMNOPQ NoneInteractive session interface,bitwidth required to store the given integer1the largest integer allowed by the given bitwidthR2the smallest integer allowed by the given bitwidth*STUVWXYZ[\]^_`abcdefghRijklmnopqrstSTUVWXYZ[\]^_`abcdefghRijklmnopqrstu  !"#$%&'()*+,,-./0112345667889:;<==>?@AABCDEEFGHHIJKLMNOPQRSTUVWWXYZ[\]^_`aabcdeefghijklmnopqrstuv w w x y z { | } 8 8 ~      w               !"#$%%&'()*+,-./0.1234567o89:;< = > > ? @ A B C C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ]^clafe_9V60ZwIw2CQGaSsXaFWAC8$Language.Clafer.IG.CommandLineParserLanguage.Clafer.IG.SolutionLanguage.Clafer.IG.ConstraintsLanguage.Clafer.IG.ClaferModelLanguage.Clafer.IG.ClaferIGLanguage.Clafer.IG.Sugarer Language.Clafer.IG.JSONGeneratorLanguage.Clafer.IG.Process#Language.Clafer.IG.AlloyIGInterfaceLanguage.Clafer.IG.CommandLinePaths_claferIGparse_8fSmqig53hOL2SEu1k9Tv0Text.Parsec.Error errorMessagesUnsatCoreMinimizationFastestMediumBestCommandNextIncreaseGlobalScope IncreaseScopeSetGlobalScopeSetScope SetBitwidth SetMaxIntSaveQuitReloadHelpFind ShowScopes SaveScopes LoadScopesShowClaferModelShowAlloyModelShowAlloyInstanceSetUnsatCoreMinimizationunexpectedMessageexpectedMessageparseCommandLineparseCommandLineAutoCompletecommandStringsTuplet_from t_fromTypet_tot_toTypeFieldf_labelf_id f_parentIdf_tuplesAtoma_labelSigs_labels_id s_parentIds_atomsSolutions_sigss_fields parseSolutionConstraintInfopIdpossyntax ClaferInfouniqueId cardinality Cardinalitylowerupper ConstraintExactCardinalityConstraintrange claferInfoLowerCardinalityConstraintUpperCardinalityConstraintUserConstraintconstraintInfoisLowerCardinalityConstraintisUpperCardinalityConstraintlookupConstraintparseConstraintsIdi_name i_ordinalValue AliasValuec_aliasIntValuev_value StringValuev_strClaferc_idc_value c_children ClaferModel c_topLevelc_name traverseModelbuildClaferModelclafe_F0gB5uxQZ9fBTxKCWT7tw7Language.Clafer.Commonfst3sugarClaferModel generateJSONProcessexecutableDirectory pipeProcesswaitForgetContentsVerbatim getMessage readMessage putMessage UnsatCorecore MultiplicityOneLoneSomeAnys_names_multiplicitys_subsets_startingScope AlloyIGEnv alloyModelsigMapscopes globalScopeAlloyIGTfetchfetchessetproc withinRange runAlloyIGT getAlloyModelgetSigsloadsendLoadCommandsendNextCommandgetScope getScopessendSetScopeCommandgetGlobalScopesendSetGlobalScopeCommandsendResolveCommandsendSaveStateCommandsendRestoreStateCommandsendRemoveConstraintCommandsendUnsatCoreCommand#sendSetUnsatCoreMinimizationCommandsendSetBitwidthCommandsendQuitCommandgetMsgreadMsgputMsg$fMonadTransAlloyIGTCounterexampleremovedConstraintscounterexampleInstancecounterexampleAlloyInstanceInstance modelInstancealloyModelInstanceunsatConstraintscounterexample NoInstance ClaferIGEnv claferEnv' claferIGArgs constraints claferModel qNameMapsinfostrMap lineNumMap ClaferIGTIGArgsallsaveDirclaferModelFile alloySolutionbitwidthmaxIntuseUidsaddTypesjsonflatten_inheritance_compno_layout_compcheck_duplicates_compskip_resolver_compscope_strategy_compclaferIGVersiongetUIDIClaferMap runClaferIGT getClaferEnv getlineNumMapgetClaferIGArgsgetConstraintsgetClaferModel getStrMapstrictReadFilesolve getClafers getBitwidthsetGlobalScope getQNameMaps valueOfScope increaseScopesetScope setAlloyScopenextreloadsetUnsatCoreMinimization setBitwidthquitsigToClaferName findRemovablerunCommandLinepickLargerScoperequiredBitwidth 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 ClaferNode ValueNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTree $fShowClafer$fShowClaferModelCensuspollclaferModelCensus retrieveSuper printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsstdInstdOut procHandlegetIMod$fMonadTransClaferIGT allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoComplete Auto_Command Auto_ClaferAuto_ClaferInstanceAuto_UnsatCoreMinimization Auto_Space Auto_DigitNo_AutotryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow