public static class SymbolicLayoutReader.KeYlessEquivalenceClass extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicEquivalenceClass
ISymbolicEquivalenceClass
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
representativeString
The representative term.
|
private ImmutableList<java.lang.String> |
termStrings
The terms.
|
Constructor and Description |
---|
KeYlessEquivalenceClass(ImmutableList<java.lang.String> termStrings,
java.lang.String representativeString)
Constructor.
|
KeYlessEquivalenceClass(java.lang.String representativeString)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
addTermString(java.lang.String termString)
Add a new child term string.
|
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 . |
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSettings
private ImmutableList<java.lang.String> termStrings
private java.lang.String representativeString
public KeYlessEquivalenceClass(java.lang.String representativeString)
representativeString
- The representative term.public KeYlessEquivalenceClass(ImmutableList<java.lang.String> termStrings, java.lang.String representativeString)
termStrings
- The terms.representativeString
- The representative term.public ImmutableList<Term> getTerms()
ISymbolicObject
.getTerms
in interface ISymbolicEquivalenceClass
ISymbolicObject
.public ImmutableList<java.lang.String> getTermStrings()
ISymbolicObject
as human readable String
.getTermStrings
in interface ISymbolicEquivalenceClass
ISymbolicObject
as human readable String
.public void addTermString(java.lang.String termString)
object
- The term string to add.public Term getRepresentative()
getRepresentative
in interface ISymbolicEquivalenceClass
public java.lang.String getRepresentativeString()
String
.getRepresentativeString
in interface ISymbolicEquivalenceClass
String
.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.