Serialized Form

Package krieger.oclruntime

Class krieger.oclruntime.MethodBody extends krieger.oclruntime.OCLengine implements Serializable

Serialized Fields

evaluator

QueryEvaluator<K> evaluator

Class krieger.oclruntime.PropertyID extends java.lang.Object implements Serializable

Serialized Fields

className

java.lang.String className

propertyName

java.lang.String propertyName

Class krieger.oclruntime.QueryEvaluator extends krieger.oclruntime.OCLengine implements Serializable

Serialized Fields

queries

java.util.Map<K,V> queries

results

java.util.Map<K,V> results

Package krieger.oclsolve

Class krieger.oclsolve.BagIterator.Position extends krieger.oclsolve.InternalExpressionImpl<krieger.oclsolve.BagIterator.Position> implements Serializable

Serialized Fields

constraint

krieger.boundedsolver.Expression constraint

pos

krieger.boundedsolver.Expression pos

Class krieger.oclsolve.ClassEncoding extends java.lang.Object implements Serializable

Serialized Fields

id2class

java.util.Map<K,V> id2class

cardAtPreType

krieger.oclsolve.BasicIntegerType cardAtPreType

unknownCard

int unknownCard

unknownCardVar

Constant<T> unknownCardVar

unknownVar

krieger.boundedsolver.Variable unknownVar

allClasses

java.util.Collection<E> allClasses

maxInt

java.math.BigInteger maxInt

Class krieger.oclsolve.Classifier extends java.lang.Object implements Serializable

Class krieger.oclsolve.ClassifierFactory extends java.lang.Object implements Serializable

Serialized Fields

maxInt

java.math.BigInteger maxInt

minInt

java.math.BigInteger minInt

basicStringType

krieger.oclsolve.BasicStringType basicStringType

classEncoding

ClassEncoding classEncoding

name2class

java.util.Map<K,V> name2class

id2name

java.util.Map<K,V> id2name

Class krieger.oclsolve.Multiplicity extends java.lang.Object implements Serializable

Serialized Fields

lower

int lower

upper

int upper

isOrdered

boolean isOrdered

isUnique

boolean isUnique

Class krieger.oclsolve.Problem extends java.lang.Object implements Serializable

Serialized Fields

conj

krieger.boundedsolver.Expression conj

objectiveFunction

krieger.boundedsolver.Expression objectiveFunction

timeout

java.lang.Integer timeout

Class krieger.oclsolve.PropertyContainer extends java.lang.Object implements Serializable

Serialized Fields

preProperties

java.util.Map<K,V> preProperties

postProperties

java.util.Map<K,V> postProperties