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).