public class SymbolicEquivalenceClass extends AbstractElement implements ISymbolicEquivalenceClass
ISymbolicEquivalenceClass
.Constructor and Description |
---|
SymbolicEquivalenceClass(Services services,
ImmutableList<Term> terms,
IModelSettings settings)
Constructor.
|
SymbolicEquivalenceClass(Services services,
IModelSettings settings)
Constructor.
|
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() |
formatTerm, getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getSettings
public SymbolicEquivalenceClass(Services services, IModelSettings settings)
services
- The Services
to use.settings
- The IModelSettings
to use.public SymbolicEquivalenceClass(Services services, ImmutableList<Term> terms, IModelSettings settings)
services
- The Services
to use.terms
- The contained Term
s which represents the same ISymbolicObject
.settings
- The IModelSettings
to use.public ImmutableList<Term> getTerms()
ISymbolicObject
.getTerms
in interface ISymbolicEquivalenceClass
ISymbolicObject
.public boolean containsTerm(Term term)
Term
is contained.containsTerm
in interface ISymbolicEquivalenceClass
term
- The Term
to check.true
Term
is contained, false
Term
is not contained.public ImmutableList<java.lang.String> getTermStrings()
ISymbolicObject
as human readable String
.getTermStrings
in interface ISymbolicEquivalenceClass
ISymbolicObject
as human readable String
.public Term getRepresentative()
getRepresentative
in interface ISymbolicEquivalenceClass
public java.lang.String getRepresentativeString()
String
.getRepresentativeString
in interface ISymbolicEquivalenceClass
String
.public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.