net.ssehub.easy.reasoning.sseReasoner.model

Class ContextStack.Context

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

Enclosing class:

ContextStack

private static class ContextStack.Context
extends java.lang.Object

A linked stack entry. Stack is formed through predecessor.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	container
private boolean	isRegistered
private net.ssehub.easy.varModel.model.DecisionVariableDeclaration	iterator
private ContextStack.Context	predecessor
private java.util.Set<net.ssehub.easy.varModel.model.datatypes.IDatatype>	processedTypes
private boolean	recordProcessedTypes
private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,ContextStack.Context>	registeredContexts
private net.ssehub.easy.varModel.model.datatypes.IDatatype	type
private java.util.Set<? extends net.ssehub.easy.varModel.model.datatypes.IDatatype>	typeExcludes
private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree>	varMap

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Context()

Method Summary

Modifier and Type	Method and Description
private void	clear() Clears this context.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

varMap

private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> varMap

iterator

private net.ssehub.easy.varModel.model.DecisionVariableDeclaration iterator

container

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree container

predecessor

private ContextStack.Context predecessor

registeredContexts

private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,ContextStack.Context> registeredContexts

isRegistered

private boolean isRegistered

recordProcessedTypes

private boolean recordProcessedTypes

processedTypes

private java.util.Set<net.ssehub.easy.varModel.model.datatypes.IDatatype> processedTypes

typeExcludes

private java.util.Set<? extends net.ssehub.easy.varModel.model.datatypes.IDatatype> typeExcludes

type

private net.ssehub.easy.varModel.model.datatypes.IDatatype type

Constructor Detail

Context

private Context()

Method Detail

clear

private void clear()

Clears this context.