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

RightHandTerm

interface RightHandTerm<A : HeytingAlgebra<A>> : ConstraintTerm<A>

Terms that can appear on the right-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

node

abstract val node: AtomicTerm<A>

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

outEdge

abstract val outEdge: DataFlowEdge<A>

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

Inheritors

AtomicTerm