Q>1      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  Safe-InferredInteractive session commands This function uses the expected/8unexpected messages to understand what to autocomplete. g 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()*+,-NoneQ6The tuple of name and ordinal must be globally unique aClafer model instance .A map of label -> Sig $/0123QRSTUVWXYZ[\]^_`abcd45e6789.f:;QRSTUVWXYZ[\]^_`abcdefabc\]^_`QRSTUZXV[YWdfe/1023QRSTUZXV[YW\]^_`abcd45e6789.f:;None<tSample: maps the id to the its simple name and the number of times its simple name appeared in the census before it E | 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 <?=>g@gg<?=>g@Noneh9Generate a representation of the instance in JSON format hABCDEFhhhABCDEFNonekBStart 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 iGHIJjklmnopijklmnopijlmnopkiGHIJjklmnopNoneInstance 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 HTell alloyIG to return the unsat core of the previous operation :Tell 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{|}~K1qrstuvwxyz{|}~1yz{|}~txwvuqrs!qrstxwvuyz{|}~K NoneMLMNOPHH) LMNOP NoneInteractive 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                      !""#$%&'()*+,-+./01234l5678 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.7$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.7Text.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#sendSetUnsatCoreMinimizationCommandsendSetBitwidthCommandsendQuitCommandgetMsgreadMsgputMsgCounterexampleremovedConstraintscounterexampleInstancecounterexampleAlloyInstanceInstance 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$fMonadTransAlloyIGT$fMonadTransClaferIGT allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoCompleteNo_Auto Auto_Digit Auto_SpaceAuto_UnsatCoreMinimizationAuto_ClaferInstance Auto_Clafer Auto_CommandtryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow