scale.score.dependence.omega.omegaLib
Class OmegaLib

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

public final class OmegaLib
extends java.lang.Object

This class is defined as the basis for using the Omega Library. It's primary purpose is to hold the variables that were static before.

$Id: OmegaLib.java,v 1.6 2007-01-04 16:46:02 burrill Exp $

Copyright 2008 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

Field Summary

boolean	addingOuterEqualities
FAnd	and_below_exists
static boolean	classTrace True if traces are to be performed.
int	conservative
boolean	inApproximateMode
boolean	inStridesAllowedMode
boolean	leavePufsUntouched
static int	maxKeys
static int	maxVars
static int	negInfinity
int	newVar
boolean	pleaseNoEqualitiesInSimplifiedProblems
static int	posInfinity
int	presLegalNegations
boolean	printInCodeGenStyle
int	skipFinalizationCheck
int	skipSetChecks
int	solveGEQDepth
int	sRdtConstraints
boolean	trace
int	useUglyNames
int	wildCardInstanceNumber

Constructor Summary

OmegaLib(boolean trace)

Method Summary

void	appendIDS(VarDecl v, int pos)
void	clearIDS()
void	decrement(java.lang.String name)
void	decrement(VarDecl v)
void	decrementPrintLevel()
void	dumpInputVars(int n)
Problem	getOriginalProblem()
int	getPosIDS(int i)
int	getProtoHash()
VarDecl	getVarIDS(int i)
void	increment(VarDecl v)
void	incrementPrintLevel()
void	initialize()
Vector<VarDecl>	inputVars()
CName	newCName(java.lang.String s)
VarDecl	newInputVar(int i)
VarDecl	newOutputVar(int i)
Vector<VarDecl>	outputVars()
void	printHead()
void	putIDS(VarDecl v, int pos, int index)
int	resetPrototypes(int hashVersion, Problem prob)
void	setOriginalProblem(Problem prob)
void	setPrintLevel(int printLevel)
void	usePrototype(int hashCode, Equation eqe, int[] packing, int topVar, int nVars)

Methods inherited from class java.lang.Object

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

Field Detail

classTrace

public static boolean classTrace

True if traces are to be performed.

posInfinity

public static final int posInfinity

See Also:

Constant Field Values

negInfinity

public static final int negInfinity

See Also:

Constant Field Values

maxKeys

public static final int maxKeys

See Also:

Constant Field Values

maxVars

public static final int maxVars

See Also:

Constant Field Values

pleaseNoEqualitiesInSimplifiedProblems

public boolean pleaseNoEqualitiesInSimplifiedProblems

printInCodeGenStyle

public boolean printInCodeGenStyle

leavePufsUntouched

public boolean leavePufsUntouched

addingOuterEqualities

public boolean addingOuterEqualities

inApproximateMode

public boolean inApproximateMode

inStridesAllowedMode

public boolean inStridesAllowedMode

trace

public boolean trace

sRdtConstraints

public int sRdtConstraints

skipSetChecks

public int skipSetChecks

skipFinalizationCheck

public int skipFinalizationCheck

presLegalNegations

public int presLegalNegations

wildCardInstanceNumber

public int wildCardInstanceNumber

useUglyNames

public int useUglyNames

solveGEQDepth

public int solveGEQDepth

conservative

public int conservative

newVar

public int newVar

and_below_exists

public FAnd and_below_exists

Constructor Detail

OmegaLib

public OmegaLib(boolean trace)

Method Detail

initialize

public void initialize()

setPrintLevel

public void setPrintLevel(int printLevel)

incrementPrintLevel

public void incrementPrintLevel()

decrementPrintLevel

public void decrementPrintLevel()

printHead

public void printHead()

newInputVar

public VarDecl newInputVar(int i)

newOutputVar

public VarDecl newOutputVar(int i)

inputVars

public Vector<VarDecl> inputVars()

outputVars

public Vector<VarDecl> outputVars()

dumpInputVars

public void dumpInputVars(int n)

increment

public void increment(VarDecl v)

decrement

public void decrement(VarDecl v)

decrement

public void decrement(java.lang.String name)

newCName

public CName newCName(java.lang.String s)

appendIDS

public void appendIDS(VarDecl v,
                      int pos)

clearIDS

public void clearIDS()

getVarIDS

public VarDecl getVarIDS(int i)

getPosIDS

public int getPosIDS(int i)

putIDS

public void putIDS(VarDecl v,
                   int pos,
                   int index)

usePrototype

public void usePrototype(int hashCode,
                         Equation eqe,
                         int[] packing,
                         int topVar,
                         int nVars)

getProtoHash

public int getProtoHash()

resetPrototypes

public int resetPrototypes(int hashVersion,
                           Problem prob)

getOriginalProblem

public Problem getOriginalProblem()

setOriginalProblem

public void setOriginalProblem(Problem prob)