summaryrefslogtreecommitdiff
path: root/libs/cassowary/cassowary/ClFDConnectorVariable.h
blob: 4ae38ae42e37d074c113c5086f0fed562f30094e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
// $Id$
//
// Cassowary Incremental Constraint Solver
// Original Smalltalk Implementation by Alan Borning
// This C++ Implementation by Greg J. Badros, <gjb@cs.washington.edu>
// http://www.cs.washington.edu/homes/gjb
// (C) 1998, 1999 Greg J. Badros and Alan Borning
// See ../LICENSE for legal details regarding this software
//
// ClFDConnectorVariable.h

#ifndef ClFDConnectorVariable_H
#define ClFDConnectorVariable_H

#if defined(HAVE_CONFIG_H) && !defined(CONFIG_H_INCLUDED) && !defined(CONFIG_INLINE_H_INCLUDED)
#include <cassowary/config-inline.h>
#define CONFIG_INLINE_H_INCLUDED
#endif

#include <stdio.h>
#include <map>
#include <string>
#include <list>
#include "Cassowary.h"
#include "ClVariable.h"
#include "ClFDVariable.h"
#include "ClLinearEquation.h"
#include "ClSimplexSolver.h"

/* Creates a new variable in the FD region
   that sets clvFloat in solver (simplex region)
   when it changes */
class ClFDConnectorVariable : public ClFDVariable {
public:
  typedef ClFDVariable super;

  ClFDConnectorVariable(string name, FDNumber Value, const list<FDNumber> &initial_domain,
                        ClSimplexSolver &solver, ClVariable clvFloat) :
      ClFDVariable(name,Value,initial_domain),
      _solver(solver),
      _clvFloat(clvFloat),
      _pcnRequiredLink(new ClLinearEquation(clvFloat,Value))
    { solver.AddConstraint(_pcnRequiredLink); }

#ifndef CL_NO_IO
  // Prints a semi-descriptive representation to the stream, using the
  // name if there is one, and otherwise the hash number of this
  // object.
  //	EXAMPLE
  //	  [x:10.0]		-- name = "x", Value = 10.0
  virtual ostream &PrintOn(ostream &xo) const;
#endif
  
  // permit overriding in subclasses in case something needs to be
  // done when the Value is changed by the solver
  // may be called when the Value hasn't actually changed -- just 
  // means the solver is setting the external variable
  virtual void ChangeValue(FDNumber Value)
    { 
      if (_value != Value) {
        _value = Value;
        cerr << "Updating " << _clvFloat << " now!" << endl;
        _solver.RemoveConstraint(_pcnRequiredLink);
        _pcnRequiredLink->ChangeConstant(_value);
        _solver.AddConstraint(_pcnRequiredLink);
      }
    }

private:

  // similar to SetValue -- see caveat above -- made private for now
  // since it's probably the wrong thing and is too easy to invoke
  FDNumber operator=(FDNumber Value)
    { _value = Value; return Value; }

  // Copy constructor left undefined since we want to
  // outlaw passing by Value!  Will get a link error if you
  // try to use within ClFDConnectorVariable.c, compile-time error everywhere else
  ClFDConnectorVariable(const ClFDConnectorVariable &);

  ClSimplexSolver &_solver;

  ClVariable _clvFloat;

  ClLinearEquation *_pcnRequiredLink;
  
};

#endif