GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)

de.unika.ipd.grGen.libGr

ActionCall Class

ActionNames Class

ActionProfile Class

ActionsTypeInformation Class

Annotations Class

AssignmentTarget Class

AssignmentTargetAttribute Class

AssignmentTargetAttributeIndexed Class

AssignmentTargetIndexedVar Class

AssignmentTargetType Enumeration

AssignmentTargetVar Class

AssignmentTargetVisited Class

AssignmentTargetYieldingVar Class

AttributeChangeType Enumeration

AttributeIndexDescription Class

AttributeKind Enumeration

BeginExecutionHandler Delegate

CAEType Enumeration

CallIssueType Enumeration

CallParameterIssueType Enumeration

ChangedEdgeAttributeHandler Delegate

ChangedNodeAttributeHandler Delegate

ChangingEdgeAttributeHandler Delegate

ChangingNodeAttributeHandler Delegate

ChangingObjectAttributeHandler Delegate

ClearingGraphHandler Delegate

CompliantUserProxyForSequenceExecution Class

ConnectionAssertionError Structure

ConsoleUI Class

ContainerHelper Class

CygwinBashWorkaroundConsoleIO Class

DebugEmitHandler Delegate

DebugEnterHandler Delegate

DebugExitHandler Delegate

DebugHaltHandler Delegate

DebugHighlightHandler Delegate

DefinedSequenceInfo Class

DefinitionType Enumeration

Deque<T> Class

Directedness Enumeration

DOTDumper Class

DumpInfo Class

DumpMatchSpecial Enumeration

EdgeAddedHandler Delegate

EdgeType Class

EdgeTypeAppearanceChangedHandler Delegate

ElementNameGetter Delegate

EmbeddedSequenceInfo Class

EmitHelper Class

EndExecutionHandler Delegate

EndOfIterationHandler Delegate

EnterSequenceHandler Delegate

EnumAttributeType Class

EnumMember Class

EXECUTION_STATE Enumeration

ExitSequenceHandler Delegate

ExternalDefinedSequenceInfo Class

ExternalObjectType Class

FilterCall Class

FilterCallWithArguments Class

FilterCallWithLambdaExpression Class

FilterInvocation Interface

FinishedHandler Delegate

FinishedSelectedMatchHandler Delegate

FunctionInfo Class

FunctionInvocation Interface

GraphDumper Class

GraphElementType Class

GraphExportContext Class

GraphHelper Class

GraphValidator Class

GrColor Enumeration

GrElemDumpType Enumeration

GrGenType Class

GRGExport Class

GrLineStyle Enumeration

GrNodeShape Enumeration

GroupMode Enumeration

GXLExport.Attr Structure

GXLImport Class

GXLImport.ThingKind Enumeration

HighlightingMode Enumeration

IAction Interface

IActionCore Interface

IActionExecutionEnvironment Interface

IActions Interface

IAlternative Interface

IAttributeBearer Interface

IAttributeIndex Interface

IBackend Interface

IBaseObject Interface

IBaseObjectTypeModel Interface

ICallable Interface

IConsoleInput Interface

IConsoleOutput Interface

IDEdge Interface

IDeepEqualityComparer Interface

IFilterAutoGenerated Interface

IFilterAutoSupplied Interface

IFilterFunction Interface

IFunctionDefinition Interface

IGlobalVariables Interface

IGraph Interface

IGraphElement Interface

IGraphElementTypeModel Interface

IGraphModel Interface

IGraphProcessingEnvironment Interface

IIncidenceCountIndex Interface

IMatchClass Interface

IMatches Interface

IMatchesExact<MatchInterface> Interface

IMatchingPattern Interface

INamed Interface

INamedGraph Interface

IncidenceCountIndexDescription Class

IncidenceDirection Enumeration

IndexDescription Class

InfoTag Class

InheritanceType Class

IObjectModel Interface

IPatternEdge Interface

IPatternElement Interface

IPatternGraph Interface

IPatternGraphEmbedding Interface

IPatternMatchingConstruct Interface

IPatternNode Interface

IPatternVariable Interface

IProcedureDefinition Interface

IRecorder Interface

IRulePattern Interface

ISequenceDefinition Interface

ISequenceSpecial Interface

ISubactionAndOutputAdditionEnvironment Interface

ITransactionManager Interface

ITransientObject Interface

ITransientObjectModel Interface

IUniquenessHandler Interface

IUserProxyForSequenceExecution Interface

IWorkaround Interface

JoinSequencesHandler Delegate

MainGraphExportContext Class

MatchClassFilterer Class

MatchClassInfo Class

MatchedAfterFilteringHandler Delegate

MatchedBeforeFilteringHandler Delegate

MatchedElementsValidityChecker Class

MatchListHelper Class

MatchPrinter Class

MatchSelectedHandler Delegate

MathHelper Class

MethodFunctionInvocation Interface

MethodProcedureInvocation Interface

MonoLinuxWorkaroundConsoleIO Class

MonoWindowsWorkaroundConsoleIO Class

MonoWorkaroundConsoleIO Class

NodeAddedHandler Delegate

NodeType Class

NodeTypeAppearanceChangedHandler Delegate

NoWorkaroundConsoleIO Class

ObjectCreatedHandler Delegate

ObjectNamerAndIndexer Class

ObjectType Class

OrderingComparer Class

OrderMethod Enumeration

ParallelExecutionBegin Structure

PatternMatchingConstruct Class

PatternMatchingConstructType Enumeration

PerformanceInfo Class

Porter Class

ProcedureInfo Class

ProcedureInvocation Interface

ProcessSpecFlags Enumeration

ProfileAverages Class

Range Structure

Recorder Class

RedirectingEdgeHandler Delegate

RelOpDirection Enumeration

RemovingEdgeHandler Delegate

RemovingEdgesHandler Delegate

RemovingNodeHandler Delegate

ReturnFromSubgraphHandler Delegate

RetypingEdgeHandler Delegate

RetypingNodeHandler Delegate

RewriteSelectedMatchHandler Delegate

RuleInvocation Interface

ScopeType Enumeration

SelectedMatchRewrittenHandler Delegate

Sequence Class

SequenceAndAssignSequenceResultToVar Class

SequenceAssignConstToVar Class

SequenceAssignContainerConstructorToVar Class

SequenceAssignObjectConstructorToVar Class

SequenceAssignRandomDoubleToVar Class

SequenceAssignRandomIntToVar Class

SequenceAssignSequenceResultToVar Class

SequenceAssignToVar Class

SequenceAssignUserInputToVar Class

SequenceAssignVarToVar Class

SequenceBacktrack Class

SequenceBase Class

SequenceBinary Class

SequenceBinaryExpression Class

SequenceBooleanComputation Class

SequenceCheckingEnvironment Class

SequenceCheckingEnvironmentCompiled Class

SequenceCheckingEnvironmentInterpreted Class

SequenceComputation Class

SequenceComputationAssert Class

SequenceComputationAssignment Class

SequenceComputationBuiltinProcedureCall Class

SequenceComputationContainer Class

SequenceComputationContainerAdd Class

SequenceComputationContainerAddAll Class

SequenceComputationContainerClear Class

SequenceComputationContainerRem Class

SequenceComputationDebug Class

SequenceComputationDebugAdd Class

SequenceComputationDebugEmit Class

SequenceComputationDebugHalt Class

SequenceComputationDebugHighlight Class

SequenceComputationDebugRem Class

SequenceComputationDeleteFile Class

SequenceComputationEmit Class

SequenceComputationExport Class

SequenceComputationGetEquivalentOrAdd Class

SequenceComputationGraphAdd Class

SequenceComputationGraphAddCopy Class

SequenceComputationGraphClear Class

SequenceComputationGraphMerge Class

SequenceComputationGraphRedirectSource Class

SequenceComputationGraphRedirectSourceAndTarget Class

SequenceComputationGraphRedirectTarget Class

SequenceComputationGraphRem Class

SequenceComputationGraphRetype Class

SequenceComputationInsert Class

SequenceComputationInsertCopy Class

SequenceComputationInsertDefined Class

SequenceComputationInsertInduced Class

SequenceComputationProcedureCall Class

SequenceComputationProcedureCallCompiled Class

SequenceComputationProcedureCallInterpreted Class

SequenceComputationProcedureMethodCall Class

SequenceComputationRecord Class

SequenceComputationSynchronizationEnter Class

SequenceComputationSynchronizationExit Class

SequenceComputationSynchronizationTryEnter Class

SequenceComputationThen Class

SequenceComputationType Enumeration

SequenceComputationVAlloc Class

SequenceComputationVariableDeclaration Class

SequenceComputationVFree Class

SequenceComputationVReset Class

SequenceDeclareVariable Class

SequenceDefinition Class

SequenceDefinitionCompiled Class

SequenceDefinitionInterpreted Class

SequenceDummy Class

SequenceExecuteInSubgraph Class

SequenceExecutionState Enumeration

SequenceExpression Class

SequenceExpressionAdjacentIncident Class

SequenceExpressionArrayAnd Class

SequenceExpressionArrayAsDeque Class

SequenceExpressionArrayAsMap Class

SequenceExpressionArrayAsString Class

SequenceExpressionArrayAvg Class

SequenceExpressionArrayByAttributeAccess Class

SequenceExpressionArrayByAttributeAccessIndexOf Class

SequenceExpressionArrayConstructor Class

SequenceExpressionArrayCopyConstructor Class

SequenceExpressionArrayDev Class

SequenceExpressionArrayExtract Class

SequenceExpressionArrayGroup Class

SequenceExpressionArrayGroupBy Class

SequenceExpressionArrayIndexOfBy Class

SequenceExpressionArrayIndexOfOrdered Class

SequenceExpressionArrayIndexOfOrderedBy Class

SequenceExpressionArrayKeepOneForEach Class

SequenceExpressionArrayKeepOneForEachBy Class

SequenceExpressionArrayLastIndexOfBy Class

SequenceExpressionArrayMap Class

SequenceExpressionArrayMapStartWithAccumulateBy Class

SequenceExpressionArrayMax Class

SequenceExpressionArrayMed Class

SequenceExpressionArrayMedUnordered Class

SequenceExpressionArrayMin Class

SequenceExpressionArrayOr Class

SequenceExpressionArrayOrDequeAsSet Class

SequenceExpressionArrayOrDequeOrStringIndexOf Class

SequenceExpressionArrayOrDequeOrStringLastIndexOf Class

SequenceExpressionArrayOrderAscending Class

SequenceExpressionArrayOrderAscendingBy Class

SequenceExpressionArrayOrderDescending Class

SequenceExpressionArrayOrderDescendingBy Class

SequenceExpressionArrayProd Class

SequenceExpressionArrayRemoveIf Class

SequenceExpressionArrayReverse Class

SequenceExpressionArrayShuffle Class

SequenceExpressionArraySubarray Class

SequenceExpressionArraySum Class

SequenceExpressionArrayVar Class

SequenceExpressionAttributeAccess Class

SequenceExpressionAttributeOrMatchAccess Class

SequenceExpressionBitwiseComplement Class

SequenceExpressionBoundedReachable Class

SequenceExpressionBoundedReachableWithRemainingDepth Class

SequenceExpressionCanonize Class

SequenceExpressionCast Class

SequenceExpressionConditional Class

SequenceExpressionConstant Class

SequenceExpressionConstructor Class

SequenceExpressionContainer Class

SequenceExpressionContainerAccess Class

SequenceExpressionContainerAsArray Class

SequenceExpressionContainerConstructor Class

SequenceExpressionContainerEmpty Class

SequenceExpressionContainerPeek Class

SequenceExpressionContainerSize Class

SequenceExpressionCopy Class

SequenceExpressionCountAdjacentIncident Class

SequenceExpressionCountBoundedReachable Class

SequenceExpressionCountEdges Class

SequenceExpressionCountNodes Class

SequenceExpressionCountReachable Class

SequenceExpressionDef Class

SequenceExpressionDefinedSubgraph Class

SequenceExpressionDequeConstructor Class

SequenceExpressionDequeCopyConstructor Class

SequenceExpressionDequeSubdeque Class

SequenceExpressionDiv Class

SequenceExpressionEdgeByName Class

SequenceExpressionEdgeByUnique Class

SequenceExpressionEdges Class

SequenceExpressionElementFromGraph Class

SequenceExpressionEmpty Class

SequenceExpressionEqual Class

SequenceExpressionEqualsAny Class

SequenceExpressionExcept Class

SequenceExpressionExecutionHelper Class

SequenceExpressionExistsFile Class

SequenceExpressionFunctionCall Class

SequenceExpressionFunctionCallCompiled Class

SequenceExpressionFunctionCallInterpreted Class

SequenceExpressionFunctionMethodCall Class

SequenceExpressionGetEquivalent Class

SequenceExpressionGraphQuery Class

SequenceExpressionGreater Class

SequenceExpressionGreaterEqual Class

SequenceExpressionImport Class

SequenceExpressionInContainerOrString Class

SequenceExpressionInducedSubgraph Class

SequenceExpressionIsAdjacentIncident Class

SequenceExpressionIsBoundedReachable Class

SequenceExpressionIsReachable Class

SequenceExpressionIsVisited Class

SequenceExpressionLazyAnd Class

SequenceExpressionLazyOr Class

SequenceExpressionLower Class

SequenceExpressionLowerEqual Class

SequenceExpressionMapConstructor Class

SequenceExpressionMapCopyConstructor Class

SequenceExpressionMapDomain Class

SequenceExpressionMappingClause Class

SequenceExpressionMapRange Class

SequenceExpressionMatchAccess Class

SequenceExpressionMatchClassConstructor Class

SequenceExpressionMathAbs Class

SequenceExpressionMathArcCos Class

SequenceExpressionMathArcSin Class

SequenceExpressionMathArcTan Class

SequenceExpressionMathByteMax Class

SequenceExpressionMathByteMin Class

SequenceExpressionMathCeil Class

SequenceExpressionMathCos Class

SequenceExpressionMathDoubleMax Class

SequenceExpressionMathDoubleMin Class

SequenceExpressionMathE Class

SequenceExpressionMathFloatMax Class

SequenceExpressionMathFloatMin Class

SequenceExpressionMathFloor Class

SequenceExpressionMathIntMax Class

SequenceExpressionMathIntMin Class

SequenceExpressionMathLog Class

SequenceExpressionMathLongMax Class

SequenceExpressionMathLongMin Class

SequenceExpressionMathMax Class

SequenceExpressionMathMin Class

SequenceExpressionMathPi Class

SequenceExpressionMathPow Class

SequenceExpressionMathRound Class

SequenceExpressionMathSgn Class

SequenceExpressionMathShortMax Class

SequenceExpressionMathShortMin Class

SequenceExpressionMathSin Class

SequenceExpressionMathSqr Class

SequenceExpressionMathSqrt Class

SequenceExpressionMathTan Class

SequenceExpressionMathTruncate Class

SequenceExpressionMinus Class

SequenceExpressionMod Class

SequenceExpressionMul Class

SequenceExpressionMultiRuleQuery Class

SequenceExpressionNameof Class

SequenceExpressionNew Class

SequenceExpressionNodeByName Class

SequenceExpressionNodeByUnique Class

SequenceExpressionNodes Class

SequenceExpressionNot Class

SequenceExpressionNotEqual Class

SequenceExpressionNow Class

SequenceExpressionOpposite Class

SequenceExpressionPlus Class

SequenceExpressionRandom Class

SequenceExpressionReachable Class

SequenceExpressionRuleQuery Class

SequenceExpressionScan Class

SequenceExpressionSetConstructor Class

SequenceExpressionSetCopyConstructor Class

SequenceExpressionShiftLeft Class

SequenceExpressionShiftRight Class

SequenceExpressionShiftRightUnsigned Class

SequenceExpressionSize Class

SequenceExpressionSource Class

SequenceExpressionStrictAnd Class

SequenceExpressionStrictOr Class

SequenceExpressionStrictXor Class

SequenceExpressionStringAsArray Class

SequenceExpressionStringEndsWith Class

SequenceExpressionStringLength Class

SequenceExpressionStringReplace Class

SequenceExpressionStringStartsWith Class

SequenceExpressionStringSubstring Class

SequenceExpressionStringToLower Class

SequenceExpressionStringToUpper Class

SequenceExpressionStructuralEqual Class

SequenceExpressionTarget Class

SequenceExpressionThis Class

SequenceExpressionTryScan Class

SequenceExpressionType Enumeration

SequenceExpressionTypeHelper Class

SequenceExpressionTypeof Class

SequenceExpressionUnaryMinus Class

SequenceExpressionUnaryPlus Class

SequenceExpressionUniqueof Class

SequenceExpressionVariable Class

SequenceFilterCall Class

SequenceFilterCallBase Class

SequenceFilterCallCompiled Class

SequenceFilterCallInterpreted Class

SequenceFilterCallLambdaExpression Class

SequenceFilterCallLambdaExpressionCompiled Class

SequenceFilterCallLambdaExpressionInterpreted Class

SequenceForContainer Class

SequenceForFunction Class

SequenceForIndexAccessEquality Class

SequenceForIndexAccessOrdering Class

SequenceForIntegerRange Class

SequenceForMatch Class

SequenceGeneralNAry Class

SequenceIfThen Class

SequenceIfThenElse Class

SequenceInvocation Interface

SequenceIterationMin Class

SequenceIterationMinMax Class

SequenceLazyAnd Class

SequenceLazyAndAll Class

SequenceLazyOr Class

SequenceLazyOrAll Class

SequenceLock Class

SequenceMultiBacktrack Class

SequenceMultiRuleAllCall Class

SequenceMultiRulePrefixedSequence Class

SequenceMultiSequenceBacktrack Class

SequenceNAry Class

SequenceNot Class

SequenceOrAssignSequenceResultToVar Class

SequenceParallel Class

SequenceParallelArrayExecute Class

SequenceParallelExecute Class

SequenceParserException Class

SequenceParserExceptionCallIssue Class

SequenceParserExceptionCallParameterIssue Class

SequenceParserExceptionFilterError Class

SequenceParserExceptionFilterLambdaExpressionError Class

SequenceParserExceptionFilterParameterError Class

SequenceParserExceptionIndexConflictingNames Class

SequenceParserExceptionIndexIssue Class

SequenceParserExceptionIndexTwoLowerBounds Class

SequenceParserExceptionIndexTwoUpperBounds Class

SequenceParserExceptionIndexUnknownAccessDirection Class

SequenceParserExceptionMatchClassNotImplemented Class

SequenceParserExceptionOperatorNotFound Class

SequenceParserExceptionSubgraphError Class

SequenceParserExceptionTypeMismatch Class

SequenceParserExceptionUnknownAttribute Class

SequenceParserExceptionUnknownMatchClass Class

SequenceParserExceptionUnknownMatchMember Class

SequenceParserExceptionUnknownPatternElement Class

SequenceParserExceptionUserMethodsOnlyAvailableForInheritanceTypes Class

SequencePause Class

SequenceRandomChoice Interface

SequenceRuleAllCall Class

SequenceRuleAllCallCompiled Class

SequenceRuleAllCallInterpreted Class

SequenceRuleCall Class

SequenceRuleCallCompiled Class

SequenceRuleCallInterpreted Class

SequenceRuleCountAllCall Class

SequenceRuleCountAllCallCompiled Class

SequenceRuleCountAllCallInterpreted Class

SequenceRulePrefixedSequence Class

SequenceSequenceCall Class

SequenceSequenceCallCompiled Class

SequenceSequenceCallInterpreted Class

SequenceSomeFromSet Class

SequenceSpecial Class

SequenceStrictAnd Class

SequenceStrictAndAll Class

SequenceStrictOr Class

SequenceStrictOrAll Class

SequenceThenLeft Class

SequenceThenRight Class

SequenceTransaction Class

SequenceType Enumeration

SequenceUnary Class

SequenceVariable Class

SequenceWeightedOne Class

SequenceXor Class

Set<T> Class

SettingAddedElementNamesHandler Delegate

SettingVisitedHandler Delegate

SetValueType Class

SingleLinkedList<T> Class

SpawnSequencesHandler Delegate

SwitchToSubgraphHandler Delegate

SymbolTable Class

SymmetryChecker Class

TransientObjectNamerAndIndexer Class

TransientObjectType Class

TypeInfotagsChangedHandler Delegate

TypesHelper Class

UberEstimator Class

ValidateInfo Class

ValidationMode Enumeration

VisitedAllocHandler Delegate

VisitedFreeHandler Delegate

WorkaroundManager Class

XMIExport Class

ValidationMode Enumeration

The different graph validation modes

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1

Syntax

Copy

public enum ValidationMode

Members

Member name	Value	Description
OnlyMultiplicitiesOfMatchingTypes	0
StrictOnlySpecified	1
Strict	2

Reference

de.unika.ipd.grGen.libGr Namespace