public static class SymbolicLayoutReader.KeYlessEquivalenceClass extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicEquivalenceClass
ISymbolicEquivalenceClass
which is independent
from KeY and provides such only children and default attributes.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
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.Copyright © 2003-2019 The KeY-Project.