Uses of Record Class
org.ek9lang.compiler.phase5.flow.SymbolicTermValue

Packages that use SymbolicTermValue

Package	Description
org.ek9lang.compiler.phase5.flow

Uses of SymbolicTermValue in org.ek9lang.compiler.phase5.flow

Methods in org.ek9lang.compiler.phase5.flow with parameters of type SymbolicTermValue

Modifier and Type	Method	Description
void	PathCondition.addFact(SymbolicTermValue left, String op, SymbolicTermValue right)	Add a relational fact between two symbolic terms.