clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Index - I

IAllLanguage.Clafer.Intermediate.Intclafer
iAndLanguage.Clafer.Common
IClafer 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
iClaferLanguage.Clafer.Intermediate.Intclafer
IClaferIdLanguage.Clafer.Intermediate.Intclafer
iCSetLanguage.Clafer.Common
IDecl 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
IDeclPExpLanguage.Clafer.Intermediate.Intclafer
IdentLanguage.Clafer.Common
identLanguage.Clafer.Intermediate.Intclafer
identCountMapLanguage.Clafer.Common
iDifferenceLanguage.Clafer.Common
iDivLanguage.Clafer.Common
iDomainLanguage.Clafer.Common
IDoubleLanguage.Clafer.Intermediate.Intclafer
idoubleLanguage.Clafer.Intermediate.Intclafer
idToPExpLanguage.Clafer.Common
IEClaferLanguage.Clafer.Intermediate.Intclafer
IEConstraintLanguage.Clafer.Intermediate.Intclafer
IEGoalLanguage.Clafer.Intermediate.Intclafer
IElementLanguage.Clafer.Intermediate.Intclafer
iEqLanguage.Clafer.Common
IExpLanguage.Clafer.Intermediate.Intclafer
iFoldLanguage.Clafer.Intermediate.Intclafer
iFoldMapLanguage.Clafer.Intermediate.Intclafer
IFunExpLanguage.Clafer.Intermediate.Intclafer
IGCard 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
iGMaxLanguage.Clafer.Common
iGMinLanguage.Clafer.Common
iGtLanguage.Clafer.Common
iGteLanguage.Clafer.Common
iIffLanguage.Clafer.Common
iIfThenElseLanguage.Clafer.Common
iImplLanguage.Clafer.Common
iInLanguage.Clafer.Common
IIntLanguage.Clafer.Intermediate.Intclafer
iintLanguage.Clafer.Intermediate.Intclafer
iIntersectionLanguage.Clafer.Common
iJoinLanguage.Clafer.Common
ILoneLanguage.Clafer.Intermediate.Intclafer
iLtLanguage.Clafer.Common
iLteLanguage.Clafer.Common
iMapLanguage.Clafer.Intermediate.Intclafer
iMinLanguage.Clafer.Common
IModule 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer, Language.Clafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
iMulLanguage.Clafer.Common
incrGlobalLanguage.Clafer.Front.LayoutResolver
indentLanguage.Clafer.Front.LayoutResolver
indexShortOffAddrLanguage.Clafer.Front.Parclafer
iNeqLanguage.Clafer.Common
Info 
1 (Type/Class)Language.Clafer.Intermediate.Analysis
2 (Data Constructor)Language.Clafer.Intermediate.Analysis
iNinLanguage.Clafer.Common
InitLanguage.Clafer.Front.Absclafer
InitEmptyLanguage.Clafer.Front.Absclafer
InitHowLanguage.Clafer.Front.Absclafer
InitHow_1Language.Clafer.Front.Absclafer
InitHow_2Language.Clafer.Front.Absclafer
InitSomeLanguage.Clafer.Front.Absclafer
INoLanguage.Clafer.Intermediate.Intclafer
iNotLanguage.Clafer.Common
inPosLanguage.Clafer.Intermediate.Intclafer
inputLanguage.Clafer.Front.LayoutResolver
InputModelLanguage.Clafer
integerTypeLanguage.Clafer.Common
interleaveLanguage.Clafer.Generator.Alloy
IntersectionLanguage.Clafer.Front.Absclafer
intersectsLanguage.Clafer.Intermediate.ResolverType
IntervalLanguage.Clafer.Intermediate.Intclafer
intervalLanguage.Clafer.Intermediate.Intclafer
intTypeLanguage.Clafer.Common
IOneLanguage.Clafer.Intermediate.Intclafer
iOrLanguage.Clafer.Common
iPlusLanguage.Clafer.Common
IQuantLanguage.Clafer.Intermediate.Intclafer
IrLanguage.Clafer.Intermediate.Intclafer
iRangeLanguage.Clafer.Common
IRClaferLanguage.Clafer.Intermediate.Intclafer
IRIDeclLanguage.Clafer.Intermediate.Intclafer
IRIElementLanguage.Clafer.Intermediate.Intclafer
IRIExpLanguage.Clafer.Intermediate.Intclafer
IRIGCardLanguage.Clafer.Intermediate.Intclafer
IRIModuleLanguage.Clafer.Intermediate.Intclafer
IRIQuantLanguage.Clafer.Intermediate.Intclafer
IRISuperLanguage.Clafer.Intermediate.Intclafer
IRITypeLanguage.Clafer.Intermediate.Intclafer
irModuleTraceLanguage.ClaferT, Language.Clafer
IRPExpLanguage.Clafer.Intermediate.Intclafer
IrPExpLanguage.Clafer.Generator.Alloy, Language.Clafer
IrTraceLanguage.Clafer.Generator.Alloy, Language.Clafer
isAbstract 
1 (Function)Language.Clafer.Intermediate.Intclafer
2 (Function)Language.Clafer.Intermediate.Analysis
isBaseLanguage.Clafer.Intermediate.Analysis
isBracketCloseLanguage.Clafer.Front.LayoutResolver
isBracketOpenLanguage.Clafer.Front.LayoutResolver
isChildLanguage.Clafer.Intermediate.Analysis
isClaferNameLanguage.Clafer.Common
isClaferName'Language.Clafer.Common
isConcreteLanguage.Clafer.Intermediate.Analysis
iscPrimitiveLanguage.Clafer.Generator.Alloy
isDerivedLanguage.Clafer.Intermediate.Analysis
isDirectChildLanguage.Clafer.Intermediate.Analysis
isDisjLanguage.Clafer.Intermediate.Intclafer
isEofLanguage.Clafer.Front.LayoutResolver
isEqClaferIdLanguage.Clafer.Common
isExIntegerAstLanguage.Clafer.Intermediate.Desugarer
isExTokenInLanguage.Clafer.Front.LayoutResolver
isGroupLanguage.Clafer.Generator.Alloy, Language.Clafer
isHardLanguage.Clafer.Intermediate.Intclafer
isIEClaferLanguage.Clafer.Intermediate.ResolverName
isIndirectChildLanguage.Clafer.Intermediate.Analysis
isKeywordLanguage.Clafer.Intermediate.Intclafer
isLayoutCloseLanguage.Clafer.Front.LayoutResolver
isLayoutOpenLanguage.Clafer.Front.LayoutResolver
isMaximizeLanguage.Clafer.Intermediate.Intclafer
isNamespaceConflictLanguage.Clafer.Intermediate.ResolverName
isNewLineLanguage.Clafer.Front.LayoutResolver
isNull 
1 (Function)Language.Clafer.Generator.Python
2 (Function)Language.Clafer.Generator.Alloy
ISomeLanguage.Clafer.Intermediate.Intclafer
isOptionalDefLanguage.Clafer.Intermediate.Desugarer
isOverlappingLanguage.Clafer.Intermediate.Intclafer
isParentLanguage.Clafer.Common
isPrimitiveLanguage.Clafer.Common
isRefPathLanguage.Clafer.Generator.Alloy
isSetLanguage.Clafer.Intermediate.Desugarer
isSimplePathLanguage.Clafer.Generator.Alloy
isSuperArrowLanguage.Clafer.Intermediate.Desugarer
isSuperSomeArrowLanguage.Clafer.Intermediate.Desugarer
isTokenInLanguage.Clafer.Front.LayoutResolver
isTopLanguage.Clafer.Intermediate.Intclafer
IStrLanguage.Clafer.Intermediate.Intclafer
istrLanguage.Clafer.Intermediate.Intclafer
iSubLanguage.Clafer.Common
iSumSetLanguage.Clafer.Common
iSumSet'Language.Clafer.Common
ISuper 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
ITypeLanguage.Clafer.Intermediate.Intclafer
iTypeLanguage.Clafer.Intermediate.Intclafer
iUnboxLanguage.Clafer.Front.Lexclafer
iUnionLanguage.Clafer.Common
iXorLanguage.Clafer.Common