compiler/edu.cornell.cs.apl.viaduct.algebra.solver/LeftHandTerm

LeftHandTerm

interface LeftHandTerm<A : HeytingAlgebra<A>> : ConstraintTerm<A>

Terms that can appear on the left-hand side of constraints.

Functions

getValue

abstract fun getValue(solution: ConstraintSolution<A>): A

Returns the value of this term given an assignment of values to every variable in the term.

Properties

inEdge

abstract val inEdge: DataFlowEdge<A>

Return an edge that captures the operation preformed by this term. In the constraint graph, this will become an incoming edge of node.

node

abstract val node: AtomicTerm<A>

Return the node that will represent this term in the constraint graph.

Inheritors

AtomicTerm