scale.score.dependence.omega.omegaLib
Class ConstraintHandle

java.lang.Object
  scale.score.dependence.omega.omegaLib.ConstraintHandle

Direct Known Subclasses:

EQHandle, GEQHandle

public abstract class ConstraintHandle
extends java.lang.Object

ConstraintHandle.

$Id: ConstraintHandle.java,v 1.7 2005-02-07 21:28:39 burrill Exp $

Copyright 2005 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

This version of the Omega Libray is a translation from C++ to Java of the Omega Library developed at the University of Maryland.

Copyright (C) 1994-1996 by the Omega Project

All rights reserved.

NOTICE: This software is provided ``as is'', without any warranty, including any implied warranty for merchantability or fitness for a particular purpose. Under no circumstances shall the Omega Project or its agents be liable for any use of, misuse of, or inability to use this software, including incidental and consequential damages.

License is hereby given to use, modify, and redistribute this software, in whole or in part, for any purpose, commercial or non-commercial, provided that the user agrees to the terms of this copyright notice, including disclaimer of warranty, and provided that this copyright notice, including disclaimer of warranty, is preserved in the source code and documentation of anything derived from this software. Any redistributor of this software or anything derived from this software assumes responsibility for ensuring that any parties to whom such a redistribution is made are fully aware of the terms of this license and disclaimer.

The Omega project can be contacted at omega@cs.umd.edu or http://www.cs.umd.edu/projects/omega

Constructor Summary

ConstraintHandle(Conjunct c, Equation eqns)

Method Summary

void	copyConstraint(Conjunct from, Equation eq)
void	copyConstraint(ConstraintHandle from)
int	getCoefficient(VarDecl v)
int	getConstant_during_simplify()
int	getConstant()
VarDecl	getLocal(GlobalVarDecl G)
VarDecl	getLocal(GlobalVarDecl G, int of)
boolean	hasWildcards()
boolean	isConstant(VarDecl v)
int	maxTuplePosition()
void	multiply(int multiplier)
java.lang.String	printEQtoString()
java.lang.String	printGEQtoString()
java.lang.String	printTermToString()
abstract java.lang.String	printToString()
RelBody	relation()
void	updateCoefDuringSimplify(VarDecl v, int delta)
void	updateCoefficient(VarDecl v, int delta)
void	updateConstant(int delta)
void	updateConstantDuringSimplify(int delta)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintHandle

public ConstraintHandle(Conjunct c,
                        Equation eqns)

Method Detail

printToString

public abstract java.lang.String printToString()

printGEQtoString

public final java.lang.String printGEQtoString()

printEQtoString

public final java.lang.String printEQtoString()

printTermToString

public final java.lang.String printTermToString()

updateCoefficient

public final void updateCoefficient(VarDecl v,
                                    int delta)

updateConstant

public final void updateConstant(int delta)

getCoefficient

public final int getCoefficient(VarDecl v)

getConstant

public final int getConstant()

hasWildcards

public final boolean hasWildcards()

maxTuplePosition

public final int maxTuplePosition()

isConstant

public final boolean isConstant(VarDecl v)

getLocal

public final VarDecl getLocal(GlobalVarDecl G)

getLocal

public final VarDecl getLocal(GlobalVarDecl G,
                              int of)

multiply

public final void multiply(int multiplier)

relation

public final RelBody relation()

updateCoefDuringSimplify

public final void updateCoefDuringSimplify(VarDecl v,
                                           int delta)

updateConstantDuringSimplify

public final void updateConstantDuringSimplify(int delta)

getConstant_during_simplify

public final int getConstant_during_simplify()

copyConstraint

public final void copyConstraint(ConstraintHandle from)

copyConstraint

public final void copyConstraint(Conjunct from,
                                 Equation eq)