org.cryptimeleon.math.expressions

Interface VariableExpression

All Superinterfaces:

Expression

All Known Subinterfaces:

BoolVariableExpr, ExponentVariableExpr, GroupVariableExpr

All Known Implementing Classes:

BasicNamedBoolVariableExpr, BasicNamedExponentVariableExpr, BasicNamedGroupVariableExpr

public interface VariableExpression
extends Expression

A VariableExpression is an Expression that represents a variable.

Method Summary

Methods inherited from interface org.cryptimeleon.math.expressions.Expression

accumulate, containsExprMatchingPredicate, containsVariables, evaluate, evaluate, forEachChild, getVariables, substitute, substitute, substitute, treeWalk