wytp.proof.rules

Class CongruenceClosure.Assignment

java.lang.Object

wytp.proof.rules.CongruenceClosure.Assignment

Enclosing class:

CongruenceClosure

public static class CongruenceClosure.Assignment
extends Object

Constructor Summary

Constructors

Constructor and Description
Assignment(WyalFile.Expr lhs, WyalFile.Expr rhs, Formula dep)

Method Summary

Modifier and Type	Method and Description
Formula	getDependency()
WyalFile.Expr	getLeftHandSide()
WyalFile.Expr	getRightHandSide()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Assignment

public Assignment(WyalFile.Expr lhs,
                  WyalFile.Expr rhs,
                  Formula dep)

Method Detail

getLeftHandSide

public WyalFile.Expr getLeftHandSide()

getRightHandSide

public WyalFile.Expr getRightHandSide()

getDependency

public Formula getDependency()