clafer-0.3.9: 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
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
iNinLanguage.Clafer.Common
InitLanguage.Clafer.Front.AbsClafer
InitConstantLanguage.Clafer.Front.AbsClafer
InitDefaultLanguage.Clafer.Front.AbsClafer
InitEmptyLanguage.Clafer.Front.AbsClafer
InitHowLanguage.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
IntersectionLanguage.Clafer.Front.AbsClafer
IntervalLanguage.Clafer.Intermediate.Intclafer
intervalLanguage.Clafer.Intermediate.Intclafer
intTypeLanguage.Clafer.Common
IOneLanguage.Clafer.Intermediate.Intclafer
iOrLanguage.Clafer.Common
iPlusLanguage.Clafer.Common
iProdSetLanguage.Clafer.Common
IQuantLanguage.Clafer.Intermediate.Intclafer
IrLanguage.Clafer.Intermediate.Intclafer
iRangeLanguage.Clafer.Common
IRClaferLanguage.Clafer.Intermediate.Intclafer
IReference 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
iRemLanguage.Clafer.Common
IRIDeclLanguage.Clafer.Intermediate.Intclafer
IRIElementLanguage.Clafer.Intermediate.Intclafer
IRIExpLanguage.Clafer.Intermediate.Intclafer
IRIGCardLanguage.Clafer.Intermediate.Intclafer
IRIModuleLanguage.Clafer.Intermediate.Intclafer
IRIQuantLanguage.Clafer.Intermediate.Intclafer
IRIReferenceLanguage.Clafer.Intermediate.Intclafer
IRITypeLanguage.Clafer.Intermediate.Intclafer
irModuleTraceLanguage.ClaferT
IRPExpLanguage.Clafer.Intermediate.Intclafer
IrPExpLanguage.Clafer.Generator.Concat, Language.Clafer
IrTraceLanguage.Clafer.Generator.Concat, Language.Clafer
isAbstractLanguage.Clafer.Intermediate.Intclafer
isBracketCloseLanguage.Clafer.Front.LayoutResolver
isBracketOpenLanguage.Clafer.Front.LayoutResolver
isClaferNameLanguage.Clafer.Common
isClaferName'Language.Clafer.Common
iscPrimitiveLanguage.Clafer.Generator.Concat
isDisjLanguage.Clafer.Intermediate.Intclafer
isEofLanguage.Clafer.Front.LayoutResolver
isEqClaferIdLanguage.Clafer.Common
isExIntegerAstLanguage.Clafer.Intermediate.Desugarer
isExTokenInLanguage.Clafer.Front.LayoutResolver
isGroupLanguage.Clafer.Generator.Concat, Language.Clafer
isHardLanguage.Clafer.Intermediate.Intclafer
isIEClaferLanguage.Clafer.Intermediate.ResolverName
isKeywordLanguage.Clafer.Intermediate.Intclafer
isLayoutCloseLanguage.Clafer.Front.LayoutResolver
isLayoutOpenLanguage.Clafer.Front.LayoutResolver
isMaximizeLanguage.Clafer.Intermediate.Intclafer
isNamespaceConflictLanguage.Clafer.Intermediate.ResolverName
isNewLineLanguage.Clafer.Front.LayoutResolver
isNullLanguage.Clafer.Generator.Concat
ISomeLanguage.Clafer.Intermediate.Intclafer
isOptionalDefLanguage.Clafer.Intermediate.Desugarer
isParentLanguage.Clafer.Common
isPrimitiveLanguage.Clafer.Common
isProperNestingLanguage.Clafer.Common
isProperRefinementLanguage.Clafer.Common
isRedefinitionLanguage.Clafer.Common
isSetLanguage.Clafer.Intermediate.Intclafer
isSetExpLanguage.Clafer.Intermediate.Desugarer
isSpecialLanguage.Clafer.Common
isTokenInLanguage.Clafer.Front.LayoutResolver
isTopLanguage.Clafer.Intermediate.Intclafer
isTopLevelLanguage.Clafer.Common
IStrLanguage.Clafer.Intermediate.Intclafer
istrLanguage.Clafer.Intermediate.Intclafer
iSubLanguage.Clafer.Common
iSumSetLanguage.Clafer.Common
iSumSet'Language.Clafer.Common
ITypeLanguage.Clafer.Intermediate.Intclafer
iTypeLanguage.Clafer.Intermediate.Intclafer
iUnboxLanguage.Clafer.Front.LexClafer
iUnionLanguage.Clafer.Common
iXorLanguage.Clafer.Common