de.uka.ilkd.key.symbolic_execution.object_model.impl

Class SymbolicEquivalenceClass

java.lang.Object

de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractElement

de.uka.ilkd.key.symbolic_execution.object_model.impl.SymbolicEquivalenceClass

All Implemented Interfaces:

ISymbolicElement, ISymbolicEquivalenceClass

public class SymbolicEquivalenceClass
extends AbstractElement
implements ISymbolicEquivalenceClass

Default implementation of ISymbolicEquivalenceClass.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Services	services The Services to use.
private ImmutableList<Term>	terms The contained Terms which represents the same ISymbolicObject.

Constructor Summary

Constructors

Constructor and Description
SymbolicEquivalenceClass(Services services, ImmutableList<Term> terms, IModelSettings settings) Constructor.
SymbolicEquivalenceClass(Services services, IModelSettings settings) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addTerm(Term term) Adds a new Term.
boolean	containsTerm(Term term) Checks if a Term is contained.
Term	getRepresentative() Returns the most representative term.
java.lang.String	getRepresentativeString() Returns the most representative term as human readable String.
ImmutableList<Term>	getTerms() Returns the terms which represents the same ISymbolicObject.
ImmutableList<java.lang.String>	getTermStrings() Returns the terms which represents the same ISymbolicObject as human readable String.
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractElement

formatTerm, getSettings

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.object_model.ISymbolicElement

getSettings

Field Detail

services

private final Services services

The Services to use.

terms

private ImmutableList<Term> terms

The contained Terms which represents the same ISymbolicObject.

Constructor Detail

SymbolicEquivalenceClass

public SymbolicEquivalenceClass(Services services,
                                IModelSettings settings)

Constructor.

Parameters:

services - The Services to use.

settings - The IModelSettings to use.

SymbolicEquivalenceClass

public SymbolicEquivalenceClass(Services services,
                                ImmutableList<Term> terms,
                                IModelSettings settings)

Constructor.

Parameters:

services - The Services to use.

terms - The contained Terms which represents the same ISymbolicObject.

settings - The IModelSettings to use.

Method Detail

getTerms

public ImmutableList<Term> getTerms()

Returns the terms which represents the same ISymbolicObject.

Specified by:

getTerms in interface ISymbolicEquivalenceClass

Returns:

The terms which represents the same ISymbolicObject.

addTerm

public void addTerm(Term term)

Adds a new Term.

Parameters:

value - The new Term to add.

containsTerm

public boolean containsTerm(Term term)

Checks if a Term is contained.

Specified by:

containsTerm in interface ISymbolicEquivalenceClass

Parameters:

term - The Term to check.

Returns:

true Term is contained, false Term is not contained.

getTermStrings

public ImmutableList<java.lang.String> getTermStrings()

Returns the terms which represents the same ISymbolicObject as human readable String.

Specified by:

getTermStrings in interface ISymbolicEquivalenceClass

Returns:

The terms which represents the same ISymbolicObject as human readable String.

getRepresentative

public Term getRepresentative()

Returns the most representative term.

Specified by:

getRepresentative in interface ISymbolicEquivalenceClass

Returns:

The most representative term.

getRepresentativeString

public java.lang.String getRepresentativeString()

Returns the most representative term as human readable String.

Specified by:

getRepresentativeString in interface ISymbolicEquivalenceClass

Returns:

The most representative term as human readable String.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object