addAlternative(const ExpressionType &t) | Analitza::ExpressionType | |
addAssumption(const QString &bvar, const ExpressionType &t) | Analitza::ExpressionType | |
addAssumptions(const QMap< QString, ExpressionType > &a) | Analitza::ExpressionType | |
addParameter(const ExpressionType &t) | Analitza::ExpressionType | |
alternatives() const | Analitza::ExpressionType | inline |
Any enum value | Analitza::ExpressionType | |
anyValue() const | Analitza::ExpressionType | inline |
assumptionFor(const QString &bvar) const | Analitza::ExpressionType | inline |
assumptions() const | Analitza::ExpressionType | |
assumptions() | Analitza::ExpressionType | |
assumptionsMerge(QMap< QString, ExpressionType > &data, const QMap< QString, ExpressionType > &newmap) | Analitza::ExpressionType | static |
assumptionsUnion(QMap< QString, ExpressionType > &data, const QMap< QString, ExpressionType > &newmap) | Analitza::ExpressionType | static |
Bool enum value | Analitza::ExpressionType | |
canCompareTo(const ExpressionType &type) const | Analitza::ExpressionType | |
canReduceTo(const ExpressionType &type) const | Analitza::ExpressionType | |
Char enum value | Analitza::ExpressionType | |
clearAssumptions() | Analitza::ExpressionType | |
computeStars(const QMap< int, ExpressionType > &initial, const ExpressionType &candidate, const ExpressionType &type) | Analitza::ExpressionType | static |
contained() const | Analitza::ExpressionType | |
Error enum value | Analitza::ExpressionType | |
ExpressionType(Type t=Error, int any=-1) | Analitza::ExpressionType | |
ExpressionType(Type t, const ExpressionType &contained, int s=0) | Analitza::ExpressionType | |
ExpressionType(Type t, const QList< ExpressionType > &alternatives) | Analitza::ExpressionType | |
ExpressionType(const QString &objectName) | Analitza::ExpressionType | |
ExpressionType(const ExpressionType &t) | Analitza::ExpressionType | |
increaseStars(int stars) | Analitza::ExpressionType | |
isError() const | Analitza::ExpressionType | |
Lambda enum value | Analitza::ExpressionType | |
lambdaFromArgs(const QList< ExpressionType > &args) | Analitza::ExpressionType | static |
List enum value | Analitza::ExpressionType | |
m_any | Analitza::ExpressionType | |
m_size | Analitza::ExpressionType | |
Many enum value | Analitza::ExpressionType | |
manyFromArgs(const QList< ExpressionType > &args) | Analitza::ExpressionType | static |
matchAssumptions(QMap< int, ExpressionType > *stars, const QMap< QString, ExpressionType > &assum1, const QMap< QString, ExpressionType > &assum2) | Analitza::ExpressionType | static |
Matrix enum value | Analitza::ExpressionType | |
minimumType(const ExpressionType &t1, const ExpressionType &t2) | Analitza::ExpressionType | static |
Object enum value | Analitza::ExpressionType | |
objectName() const | Analitza::ExpressionType | |
operator!=(const ExpressionType &t) const | Analitza::ExpressionType | inline |
operator=(const ExpressionType &et) | Analitza::ExpressionType | |
operator==(const ExpressionType &t) const | Analitza::ExpressionType | |
parameters() const | Analitza::ExpressionType | inline |
parameters() | Analitza::ExpressionType | inline |
reduce(const ExpressionType &type) | Analitza::ExpressionType | |
removeAssumptions(const QStringList &bvarStrings) | Analitza::ExpressionType | |
returnValue() const | Analitza::ExpressionType | |
simplifyStars() | Analitza::ExpressionType | |
size() const | Analitza::ExpressionType | inline |
starsToType(const QMap< int, ExpressionType > &info) const | Analitza::ExpressionType | |
toString() const | Analitza::ExpressionType | |
Type enum name | Analitza::ExpressionType | |
type() const | Analitza::ExpressionType | inline |
Value enum value | Analitza::ExpressionType | |
Vector enum value | Analitza::ExpressionType | |
wrongAssumptions(const QMap< QString, ExpressionType > &assum1, const QMap< QString, ExpressionType > &assum2) | Analitza::ExpressionType | static |
~ExpressionType() | Analitza::ExpressionType | inline |