|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object scale.score.dependence.omega.omegaLib.Problem
public final class Problem
Problem.
$Id: Problem.java,v 1.21 2007-10-16 14:32:55 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 ProjectAll 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 | |
---|---|
static int |
BLACK
|
static int |
noRed
|
static int |
RED
|
static int |
redConstraints
|
static int |
redFalse
|
Constructor Summary | |
---|---|
Problem(OmegaLib omegaLib,
int in_eqs,
int in_geqs)
|
|
Problem(OmegaLib omegaLib,
int in_eqs,
int in_geqs,
Conjunct varNameSource)
|
|
Problem(Problem p2)
|
|
Problem(Problem p2,
Conjunct varNameSource)
|
Method Summary | |
---|---|
Equation |
addEQ()
|
Equation |
addGEQ()
|
int |
addNewUnprotectedWildcard()
|
boolean |
anyNonZeroCoef(int var)
|
void |
clearSubs()
|
void |
combineColumns(int i,
int j)
|
void |
convertEQstoGEQs(boolean excludeStrides)
|
void |
copyColumn(int to_col,
Problem fp,
int fr_col,
int start_EQ,
int start_GEQ)
Copy column fr_col of problem fp to column to_col of this problem. |
static int |
created()
|
int |
difficulty()
|
boolean |
expensiveRedKill()
|
int |
findColumn(int column)
|
boolean |
findEquality(int c_to,
int c_from,
int initial)
|
Equation[] |
getEQs()
|
Equation[] |
getGEQs()
|
Equation |
getNewEQ()
Make a new BLACK equation in a given problem |
Equation |
getNewEQ(Equation eq)
|
Equation |
getNewGEQ()
|
Equation |
getNewGEQ(Equation eq)
|
int |
getNumEQs()
|
int |
getNumGEQs()
|
boolean |
isEmpty()
Return true if there are no equations. |
boolean |
isNoSubs()
Return true if there are no substitutions. |
boolean |
isNotEQZero(int ignoreEQ,
int var)
|
int |
mapToColumn()
|
void |
merge(int action,
Conjunct conj1,
Conjunct conj2,
Conjunct conj3,
Vector<VarDecl> newVars)
|
int |
numberNZ()
|
int |
numSafeVars()
|
int |
numVars()
|
void |
orderedElimination(int symbolic)
|
java.lang.String |
orgVariable(int i)
|
int |
prettyPrintProblem()
|
java.lang.String |
prettyPrintProblemToString()
|
java.lang.String |
printEQtoString(Equation e)
|
java.lang.String |
printGEQtoString(Equation e)
|
void |
printProblem()
|
void |
printProblem(boolean debug)
|
void |
printRedEquations()
|
java.lang.String |
printSubToString(int v)
|
java.lang.String |
printTermToString(Equation eq,
int c)
|
java.lang.String |
printTermToString(Equation eq,
int c,
int nVars)
|
boolean |
queryDifference(int v1,
int v2,
int[] bounds)
|
boolean |
queryVariableBounds(int i,
int[] bounds)
|
int |
redSimplifyProblem(int effort,
boolean computeGist)
|
void |
removeColorConstraints()
|
void |
resetVarAndForwarding()
|
void |
setNumSafeVars(int number)
|
void |
setNumVars(int number)
|
void |
setVariablesInitialized(boolean variablesInitialized)
|
void |
setVarNameSource(Conjunct varNameSource)
|
boolean |
simplifyApproximate(boolean strides_allowed)
|
boolean |
simplifyProblem(boolean verify,
int redundantElimination)
|
void |
swapVars(int i,
int j)
|
java.lang.String |
toString()
|
void |
touchAllEQs()
|
void |
touchAllGEQs()
|
boolean |
trytoSub(int col)
We're going to try to describe the equalities among a set of variables. |
void |
turnRedBlack()
|
int |
varMappedAt(int i)
|
void |
zeroColumn(int to_col,
int start_EQ,
int start_GEQ,
int no_EQs,
int no_GEQs)
Zero column to_col of this problem. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int noRed
public static final int redFalse
public static final int redConstraints
public static final int RED
public static final int BLACK
Constructor Detail |
---|
public Problem(OmegaLib omegaLib, int in_eqs, int in_geqs, Conjunct varNameSource)
public Problem(OmegaLib omegaLib, int in_eqs, int in_geqs)
public Problem(Problem p2, Conjunct varNameSource)
public Problem(Problem p2)
Method Detail |
---|
public static int created()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isEmpty()
public boolean isNoSubs()
public Equation[] getGEQs()
public int getNumGEQs()
public Equation[] getEQs()
public int getNumEQs()
public boolean simplifyProblem(boolean verify, int redundantElimination)
public boolean simplifyApproximate(boolean strides_allowed)
public int redSimplifyProblem(int effort, boolean computeGist)
public void convertEQstoGEQs(boolean excludeStrides)
public boolean expensiveRedKill()
public void resetVarAndForwarding()
public void setVariablesInitialized(boolean variablesInitialized)
public java.lang.String printSubToString(int v)
public java.lang.String printTermToString(Equation eq, int c)
public java.lang.String printTermToString(Equation eq, int c, int nVars)
public void clearSubs()
public void setVarNameSource(Conjunct varNameSource)
public java.lang.String orgVariable(int i)
public java.lang.String printGEQtoString(Equation e)
public java.lang.String printEQtoString(Equation e)
public void printProblem()
public void printProblem(boolean debug)
public void printRedEquations()
public int prettyPrintProblem()
public java.lang.String prettyPrintProblemToString()
public Equation getNewGEQ()
public Equation getNewGEQ(Equation eq)
public Equation addGEQ()
public Equation getNewEQ()
public Equation getNewEQ(Equation eq)
public Equation addEQ()
public boolean queryDifference(int v1, int v2, int[] bounds)
public boolean queryVariableBounds(int i, int[] bounds)
public int numberNZ()
public int difficulty()
public void turnRedBlack()
public int addNewUnprotectedWildcard()
public void swapVars(int i, int j)
public void orderedElimination(int symbolic)
public void removeColorConstraints()
public boolean anyNonZeroCoef(int var)
public void copyColumn(int to_col, Problem fp, int fr_col, int start_EQ, int start_GEQ)
public void zeroColumn(int to_col, int start_EQ, int start_GEQ, int no_EQs, int no_GEQs)
public void merge(int action, Conjunct conj1, Conjunct conj2, Conjunct conj3, Vector<VarDecl> newVars)
public int varMappedAt(int i)
public int numSafeVars()
public int numVars()
public void setNumSafeVars(int number)
public void setNumVars(int number)
public int mapToColumn()
public void combineColumns(int i, int j)
public void touchAllGEQs()
public void touchAllEQs()
public int findColumn(int column)
public boolean trytoSub(int col)
public boolean findEquality(int c_to, int c_from, int initial)
public boolean isNotEQZero(int ignoreEQ, int var)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |