A B C D E F G H I L M N O P R S T U V W X

S

SATISFIABILITY_THRESHOLD - Static variable in class heart.uncertainty.CertaintyFactorsEvaluator

saved(ParserMemo.Cache) - Method in class heart.parser.hmr.runtime.ParserMemo

saved(ParserTest.Cache) - Method in class heart.parser.hmr.runtime.ParserTest

savedInner(ParserMemo.Cache) - Method in class heart.parser.hmr.runtime.ParserMemo

savedInner(ParserTest.Cache) - Method in class heart.parser.hmr.runtime.ParserTest

schemeName - Variable in class heart.xtt.Rule.Builder.IncompleteRuleId

schemeName - Variable in class heart.xtt.Rule

This field contains scheme's name to which the rule belongs.

SECOND - Static variable in class heart.RelativeTimestamp

sem - Variable in class heart.parser.hmr.runtime.ParserBase

semantics() - Method in class heart.parser.hmr.HMRParser

Semantics - Class in heart

Semantics() - Constructor for class heart.Semantics

SemanticsBase - Class in heart.parser.hmr.runtime

SemanticsBase() - Constructor for class heart.parser.hmr.runtime.SemanticsBase

setAbbreviation(String) - Method in class heart.xtt.Attribute.Builder

setActions(LinkedList<String>) - Method in class heart.xtt.Rule.Builder

setAmbiguityResolver(AmbiguityResolver) - Method in class heart.WorkingMemory

The method sets ambiguity resolver that resolves ambiguous assignments of values to the same attribute.

setArgumentBuilder(ExpressionBuilderInterface) - Method in class heart.alsvfd.expressions.UnaryExpression.Builder

setAt(RelativeTimestamp) - Method in class heart.alsvfd.expressions.Valat.Builder

setAtt(Attribute) - Method in exception heart.exceptions.UnknownValueException

setAttribute(Attribute) - Method in class heart.xtt.Decision

setAttributeName(String) - Method in class heart.alsvfd.expressions.AttributeExpressionBuilder

setAttributeName(String) - Method in class heart.alsvfd.expressions.DomainExpression.Builder

setAttributeName(String) - Method in class heart.alsvfd.expressions.StatisticalExpression.Builder

setAttributeName(String) - Method in class heart.alsvfd.expressions.Valat.Builder

setAttributeName(String) - Method in exception heart.exceptions.AttributeNotRegisteredException

setAttributeName(String) - Method in class heart.StateElement

The method sets the attribute name for this state element.

setAttributeName(String) - Method in class heart.xtt.Decision.Builder

setAttributeValue(Value) - Method in class heart.WorkingMemory.AVEntry

A method that sets a value of the attribute for a value given as a parameter.

setAttributeValue(String, Value) - Method in class heart.WorkingMemory

The method sets a given value to the attribute which name is passed as a parameter.

setAttributeValue(Attribute, Value, boolean) - Method in class heart.WorkingMemory

The method sets a given value to the attribute which is passed as a parameter.

setBase(String) - Method in class heart.xtt.Type.Builder

setCallback(String) - Method in class heart.xtt.Attribute.Builder

setCertaintyFactor(float) - Method in class heart.alsvfd.Value

Sets the certainty factor of a value.

setCertaintyFactor(float) - Method in class heart.xtt.Rule.Builder

setCertinatyFactor(float) - Method in class heart.uncertainty.UncertainTrue

setComm(String) - Method in class heart.xtt.Attribute.Builder

setConditionalAttributesNames(LinkedList<String>) - Method in class heart.xtt.Table.Builder

setConf(Configuration) - Method in class heart.inference.InferenceAlgorithm

setCsr(ConflictSetResolution) - Method in class heart.Configuration.Builder

The method sets the ConflictSetResolution object to be used while evaluating rules.

setCurrentState(State, XTTModel, boolean) - Method in class heart.WorkingMemory

The method sets values of the attributes defined by state parameter.

setCurrentTimestamp() - Method in class heart.State

setCurrentTimestamp() - Method in class heart.StateElement

The method sets the timestam of the state element to the current system time.

setCurrentTimestamp(long) - Method in class heart.WorkingMemory

setDebugInfo(String) - Method in class heart.alsvfd.expressions.AttributeExpressionBuilder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.BinaryExpression.Builder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.DomainExpression.Builder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.StatisticalExpression.Builder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.StringExpressionBuilder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.UnaryExpression.Builder

setDebugInfo(String) - Method in class heart.alsvfd.expressions.Valat.Builder

setDebugInfo(String) - Method in class heart.alsvfd.Formulae.Builder

setDebugInfo(String) - Method in class heart.xtt.Attribute.Builder

setDebugInfo(String) - Method in class heart.xtt.Decision.Builder

setDebugInfo(String) - Method in class heart.xtt.Rule.Builder

setDebugInfo(String) - Method in class heart.xtt.Table.Builder

setDebugInfo(String) - Method in class heart.xtt.Type.Builder

setDecision(ExpressionInterface) - Method in class heart.xtt.Decision

setDecisiveAttributesNames(LinkedList<String>) - Method in class heart.xtt.Table.Builder

setDescription(String) - Method in class heart.xtt.Attribute.Builder

setDescription(String) - Method in class heart.xtt.Table.Builder

setDescription(String) - Method in class heart.xtt.Type.Builder

setDomain(SetValue) - Method in class heart.xtt.Type.Builder

setEntries(Map<String, String>) - Method in class heart.xtt.annotation.Annotation.Builder

setExpirationTime(long) - Method in class heart.xtt.Attribute

setId(String) - Method in class heart.State

setId(String) - Method in class heart.xtt.Attribute.Builder

setId(String) - Method in class heart.xtt.Type.Builder

setIncompleteAnnotations(List<Annotation.Builder>) - Method in interface heart.xtt.annotation.AnnotatedBuilder

setIncompleteAnnotations(List<Annotation.Builder>) - Method in class heart.xtt.Attribute.Builder

setIncompleteAnnotations(List<Annotation.Builder>) - Method in class heart.xtt.Rule.Builder

setIncompleteAnnotations(List<Annotation.Builder>) - Method in class heart.xtt.Table.Builder

setIncompleteAnnotations(List<Annotation.Builder>) - Method in class heart.xtt.Type.Builder

setIncompleteAttributes(Collection<Attribute.Builder>) - Method in class heart.xtt.XTTModel.Builder

setIncompleteConditions(LinkedList<Formulae.Builder>) - Method in class heart.xtt.Rule.Builder

setIncompleteDecision(ExpressionBuilderInterface) - Method in class heart.xtt.Decision.Builder

setIncompleteDecisions(LinkedList<Decision.Builder>) - Method in class heart.xtt.Rule.Builder

setIncompleteRules(Collection<Rule.Builder>) - Method in class heart.xtt.XTTModel.Builder

setIncompleteTables(Collection<Table.Builder>) - Method in class heart.xtt.XTTModel.Builder

setIncompleteTypes(Collection<Type.Builder>) - Method in class heart.xtt.XTTModel.Builder

setInitialState(State) - Method in class heart.Configuration.Builder

Sets the initial state given as a parameter

setLeftInclusive(boolean) - Method in class heart.alsvfd.Range

setLeftSideBuilder(ExpressionBuilderInterface) - Method in class heart.alsvfd.expressions.BinaryExpression.Builder

setLength(Integer) - Method in class heart.xtt.Type.Builder

setLHS(AttributeExpressionBuilderInterface) - Method in class heart.alsvfd.Formulae.Builder

setLHS(AttributeExpressionInterface) - Method in class heart.alsvfd.Formulae

setLinks(LinkedList<Rule.Builder.IncompleteRuleId>) - Method in class heart.xtt.Rule.Builder

setMemo(int) - Method in class heart.parser.hmr.runtime.ParserMemo

setMemo(int) - Method in class heart.parser.hmr.runtime.ParserTest

setModel(XTTModel) - Method in class heart.inference.InferenceAlgorithm

setName(String) - Method in class heart.alsvfd.expressions.AttributeExpressionBuilder

setName(String) - Method in class heart.State

setName(String) - Method in class heart.xtt.Attribute.Builder

setName(String) - Method in class heart.xtt.Table.Builder

setName(String) - Method in class heart.xtt.Type.Builder

setOp(Formulae.ConditionalOperator) - Method in class heart.alsvfd.Formulae.Builder

setOp(Formulae.ConditionalOperator) - Method in class heart.alsvfd.Formulae

Sets the operator of the formula

SetOperations - Enum in heart.alsvfd.operations

setOperator(BinaryExpression.BinaryOperator) - Method in class heart.alsvfd.expressions.BinaryExpression.Builder

setOperator(StatisticalExpression.StatisticalOperator) - Method in class heart.alsvfd.expressions.StatisticalExpression.Builder

setOperator(UnaryExpression.UnaryOperator) - Method in class heart.alsvfd.expressions.UnaryExpression.Builder

setOrder(Integer) - Method in class heart.alsvfd.SimpleSymbolic

setOrdered(String) - Method in class heart.xtt.Type.Builder

setPeriod(RelativeTimePeriod) - Method in class heart.alsvfd.expressions.StatisticalExpression.Builder

setPrecision(Integer) - Method in class heart.xtt.Type.Builder

setRange(SimpleSymbolic, SimpleSymbolic) - Method in class heart.alsvfd.Range

It sets the range boundaries.

setRange(SimpleNumeric, SimpleNumeric) - Method in class heart.alsvfd.Range

It sets the range boundaries.

setRHS(ExpressionBuilderInterface) - Method in class heart.alsvfd.Formulae.Builder

setRHS(ExpressionInterface) - Method in class heart.alsvfd.Formulae

setRightInclusive(boolean) - Method in class heart.alsvfd.Range

setRightSideBuilder(ExpressionBuilderInterface) - Method in class heart.alsvfd.expressions.BinaryExpression.Builder

setRuleId(Rule.Builder.IncompleteRuleId) - Method in class heart.xtt.Rule.Builder

setSource(int) - Method in class heart.xtt.XTTModel.Builder

setStateElements(LinkedList<StateElement>) - Method in class heart.State

setString(String) - Method in class heart.alsvfd.expressions.StringExpressionBuilder

setTablesToFire(Stack<Table>) - Method in class heart.inference.InferenceAlgorithm

setTabLinks(LinkedList<Table>) - Method in class heart.xtt.Rule

setTBP(Formulae.TimeBasedParameter) - Method in class heart.alsvfd.Formulae.Builder

setTimestamp(long) - Method in class heart.alsvfd.Value

Sets the timestamp of the value.

setTimestamp(long) - Method in class heart.State

setTimestamp(long) - Method in class heart.StateElement

The method allow to set the timestamp for the state element.

setTokenPassingEnabled(boolean) - Method in class heart.Configuration.Builder

setTokenPassingEnabled(boolean) - Method in class heart.Configuration

setTrace(String) - Method in class heart.parser.hmr.runtime.ParserBase

setTrace(String) - Method in class heart.parser.hmr.runtime.ParserTest

setType(String) - Method in class heart.xtt.annotation.Annotation.Builder

setTypeName(String) - Method in class heart.xtt.Attribute.Builder

setUte(UncertainTrueEvaluator) - Method in class heart.Configuration.Builder

The method sets the UncertainTrueEvaluator object to be used while evaluating ALSV(FD) formulae.

SetValue - Class in heart.alsvfd

SetValue() - Constructor for class heart.alsvfd.SetValue

Default constructor.

SetValue(SetValue) - Constructor for class heart.alsvfd.SetValue

SetValue(List<Value>) - Constructor for class heart.alsvfd.SetValue

Constructor that assign values given as a parameter to values that represents the set.

SetValue(List<Value>, float) - Constructor for class heart.alsvfd.SetValue

Constructor that assign values given as a parameter to values that represents the set.

setValue(Double) - Method in class heart.alsvfd.SimpleNumeric

setValue(String) - Method in class heart.alsvfd.SimpleSymbolic

setValue(Value) - Method in class heart.StateElement

The method that sets the value for the attribute in this state element.

setValues(List<Value>) - Method in class heart.alsvfd.SetValue

setVersion(int) - Method in class heart.xtt.XTTModel.Builder

setWm(WorkingMemory) - Method in class heart.inference.InferenceAlgorithm

setXTTClass(String) - Method in class heart.xtt.Attribute.Builder

sim(Value, Type) - Method in class heart.alsvfd.Any

sim(Value, Type) - Method in class heart.alsvfd.Null

sim(Value, Type) - Method in class heart.alsvfd.Range

sim(Value, Type) - Method in class heart.alsvfd.SetValue

sim(Value, Type) - Method in class heart.alsvfd.Value

A method that should be used to check if the value has a nonempty intersection with a value given as a parameter.

SimpleNumeric - Class in heart.alsvfd

SimpleNumeric() - Constructor for class heart.alsvfd.SimpleNumeric

Default constructor that sets the value to null

SimpleNumeric(Double) - Constructor for class heart.alsvfd.SimpleNumeric

SimpleNumeric(Double, float) - Constructor for class heart.alsvfd.SimpleNumeric

SimpleNumeric(SimpleNumeric) - Constructor for class heart.alsvfd.SimpleNumeric

SimpleSymbolic - Class in heart.alsvfd

SimpleSymbolic() - Constructor for class heart.alsvfd.SimpleSymbolic

SimpleSymbolic(String) - Constructor for class heart.alsvfd.SimpleSymbolic

SimpleSymbolic(String, Integer) - Constructor for class heart.alsvfd.SimpleSymbolic

SimpleSymbolic(String, Integer, float) - Constructor for class heart.alsvfd.SimpleSymbolic

SimpleSymbolic(SimpleSymbolic) - Constructor for class heart.alsvfd.SimpleSymbolic

size() - Method in class heart.uncertainty.ConflictSet

Source - Interface in heart.parser.hmr.runtime

SOURCE_HML - Static variable in class heart.xtt.XTTModel

SOURCE_HMR - Static variable in class heart.xtt.XTTModel

SOURCE_SQL - Static variable in class heart.xtt.XTTModel

SourceFile - Class in heart.parser.hmr.runtime

SourceFile(String) - Constructor for class heart.parser.hmr.runtime.SourceFile

SourceString - Class in heart.parser.hmr.runtime

SourceString(String) - Constructor for class heart.parser.hmr.runtime.SourceString

start(InferenceAlgorithm.AttributeParameters) - Method in class heart.inference.InferenceAlgorithm

A method that executes all the inference methods in the following order: InferenceAlgorithm.onPreExecute(), then InferenceAlgorithm.initStackForAttributes(heart.inference.InferenceAlgorithm.AttributeParameters) i} is called to create the staring point for the algorithm, then, in a loop, InferenceAlgorithm.runRules(Table t) until there are tables on the stack, and after the loop is finished InferenceAlgorithm.onPostExecute()

start(InferenceAlgorithm.TableParameters) - Method in class heart.inference.InferenceAlgorithm

A method that executes all the inference methods in the following order: InferenceAlgorithm.onPreExecute(), then InferenceAlgorithm.initStackForTables(heart.inference.InferenceAlgorithm.TableParameters) is called to create the staring point for the algorithm, then, in a loop, InferenceAlgorithm.runRules(Table t) until there are tables on the stack, and after the loop is finished InferenceAlgorithm.onPostExecute()

State - Class in heart

State() - Constructor for class heart.State

StateElement - Class in heart

StateElement() - Constructor for class heart.StateElement

default constructor.

StateElement(String, Value) - Constructor for class heart.StateElement

The constructor creates StateElement object, and it sets the StateElement.timestamp to the current system time.

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.AttributeExpressionBuilder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.BinaryExpression.Builder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.DomainExpression.Builder

staticEvaluate(Map<String, Attribute>) - Method in interface heart.alsvfd.expressions.ExpressionBuilderInterface

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.StatisticalExpression.Builder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.StringExpressionBuilder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.UnaryExpression.Builder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.expressions.Valat.Builder

staticEvaluate(Map<String, Attribute>) - Method in class heart.alsvfd.Value

StaticEvaluationException - Exception in heart.exceptions

StaticEvaluationException() - Constructor for exception heart.exceptions.StaticEvaluationException

StaticEvaluationException(String) - Constructor for exception heart.exceptions.StaticEvaluationException

StatisticalExpression - Class in heart.alsvfd.expressions

Created by sbk on 19.12.14.

StatisticalExpression() - Constructor for class heart.alsvfd.expressions.StatisticalExpression

StatisticalExpression.Builder - Class in heart.alsvfd.expressions

StatisticalExpression.StatisticalOperator - Enum in heart.alsvfd.expressions

stdev(String, RelativeTimePeriod, WorkingMemory) - Method in class heart.alsvfd.expressions.StatisticalExpression

Returns standard deviation of the attribute values from specified period of time.

StringExpressionBuilder - Class in heart.alsvfd.expressions

StringExpressionBuilder() - Constructor for class heart.alsvfd.expressions.StringExpressionBuilder

sub(Value, Type) - Method in class heart.alsvfd.Any

sub(Value, Type) - Method in class heart.alsvfd.Null

sub(Value, Type) - Method in class heart.alsvfd.SimpleNumeric

sub(Value, Type) - Method in class heart.alsvfd.Value

A method that should be used to calculate difference between a value represented by an object that calls the method and a value given as a parameter.

SubjectKey - Static variable in class heart.xtt.annotation.Annotation

subset(Value, Type) - Method in class heart.alsvfd.Any

subset(Value, Type) - Method in class heart.alsvfd.Null

subset(Value, Type) - Method in class heart.alsvfd.Range

subset(Value, Type) - Method in class heart.alsvfd.SetValue

subset(Value, Type) - Method in class heart.alsvfd.Value

A method that should be used to check is the value is a subset of value given as a parameter.

succ - Variable in class heart.parser.hmr.runtime.ParserTest.Cache

supset(Value, Type) - Method in class heart.alsvfd.Any

supset(Value, Type) - Method in class heart.alsvfd.Null

supset(Value, Type) - Method in class heart.alsvfd.Range

supset(Value, Type) - Method in class heart.alsvfd.SetValue

supset(Value, Type) - Method in class heart.alsvfd.Value

A method that should be used to check if the value is a superset of a value given as a parameter.

A B C D E F G H I L M N O P R S T U V W X