jpaul.Constraints
Interface SolAccessor<V extends Var<Info>,Info>

All Superinterfaces:
SolReader<V,Info>

public interface SolAccessor<V extends Var<Info>,Info>
extends SolReader<V,Info>

SolAccessor provides access to the values of the variables from a system of constraints.

Version:
$Id: SolAccessor.java,v 1.5 2005/08/11 22:57:08 salcianu Exp $
Author:
Alexandru Salcianu - salcianu@alum.mit.edu

Method Summary
 void join(V v, Info delta)
          Change the value attached to the variable v by joining delta to it.
 
Methods inherited from interface jpaul.Constraints.SolReader
get
 

Method Detail

join

void join(V v,
          Info delta)
Change the value attached to the variable v by joining delta to it. The real join operation is performed by the join method of the variable v; that method should be able to handle delta. In addition to the real join, this method will do some internal book-keeping for the fixed-point computation (e.g., it puts back in the workset the variables that change).



Copyright 2005 Alexandru Salcianu - salcianu@alum.mit.edu