R?      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr s t u v w x y z { | } ~    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 4Alloy solution  !"#$%&'()*+,-./012345678"#$%&' !"#$%&'()*+,-./0123456784567./0123+,-%&'()* !"#$8  !"#$%&'()*+,-./012345678"#$%&'None+ 9:;<=>?@ABCDEFGHIJKLMNO(PQ)*+,-.9:;<=>?@ABCDEFGHIJKLMNOPQFKJIGLMLMLMLHBCDE>?@A9:;<=NOPQ9:;<=>?@ABCDEF KJIGLMLMLMLHNO(PQ)*+,-.None+R6The tuple of name and ordinal must be globally unique bClafer model instance /A map of label -> Sig $01234RSTUVWXYZ[\]^_`abcde56f789:/g;<RSTUVWXYZ[\]^_`abcdefgbcd]^_`aRSTUV[YW\ZXegf02134RSTUV[YW\ZX]^_`abcde56f789:/g;<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 h1Rewrite the model into a human-friendlier format =@>?hAhh=@>?hANone+i9Generate a representation of the instance in JSON format iBCDEFGiiiBCDEFGNone+lBStart another process and return the piped std_in, std_out stream m"Wait until the process terminates n!Reads the entire output verbatim oRead the message qPut the message jHIJKklmnopqjklmnopqjkmnopqljHIJKklmnopq None*+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 2rstuvwxyz{|}~1rstuvwxyz{|}~2z{|}~uyxwvrst!rstuyxwvz{|}~None*+BMLMNOPQHH) LMNOPQ None+Interactive session interface -bitwidth required to store the given integer 2the largest integer allowed by the given bitwidth R3the smallest integer allowed by the given bitwidth *STUVWXYZ[\]^_`abcdefghRijklmnopqrstSTUVWXYZ[\]dcba`_^efghRijklmnopqrstu  !"#$%&'()*+,-.//012344567899:;;<=>?@@ABCDDEFGHHIJKKLMNOPQRSTUVWXYZZ[\]^_`abcddefghhijklmnopqrstuv w w x y z { | } ; ; ~      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 [ \ ]^claferIG-0.3.9Language.Clafer.IG.ClaferIG$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.CommandLinePaths_claferIG clafer-0.3.9Language.Clafer.Commonfst3 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_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 ValueNode ClaferNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTree $fShowClafer$fShowClaferModelCensuspollclaferModelCensus retrieveSuper printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsstdInstdOut procHandlegetIMod$fMonadTransClaferIGT allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoCompleteNo_Auto Auto_Digit Auto_SpaceAuto_UnsatCoreMinimizationAuto_ClaferInstance Auto_Clafer Auto_CommandtryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow