coins.lparallel
クラス Ref_Array

java.lang.Object
  |
  +--coins.lparallel.Ref_Array

public class Ref_Array
extends java.lang.Object


フィールドの概要
(パッケージプライベート)  Exp ArrayNode
           
(パッケージプライベート)  long[] ConstValue
           
(パッケージプライベート)  boolean dimdependence
           
(パッケージプライベート)  int dimension
           
(パッケージプライベート)  FlowResults fResults
           
(パッケージプライベート)  LoopUtil fUtil
           
(パッケージプライベート)  int[] ID
           
(パッケージプライベート)  Exp[] IndexExp
           
(パッケージプライベート)  IndExp[] InductionExp
           
(パッケージプライベート) static int REF_ARRAY_INDUCTION
           
(パッケージプライベート) static int REF_ARRAY_INV_CONST
           
(パッケージプライベート) static int REF_ARRAY_INVARIANT
           
(パッケージプライベート) static int REF_ARRAY_MAX
           
(パッケージプライベート) static int REF_ARRAY_REG_IND_INV
           
(パッケージプライベート) static int REF_ARRAY_REG_INV
           
(パッケージプライベート) static int REF_ARRAY_REG_UNKNOWN
           
(パッケージプライベート) static int REF_ARRAY_UNKNOWN
           
(パッケージプライベート) static int REF_DDEF
           
(パッケージプライベート) static int REF_EUSE
           
(パッケージプライベート) static int REF_LIVE
           
(パッケージプライベート) static int REF_MOD
           
(パッケージプライベート) static int REF_RESULT
           
(パッケージプライベート) static int REF_USE
           
(パッケージプライベート)  IndExp[] RegIndInit
           
(パッケージプライベート)  IndExp[] RegIndLast
           
(パッケージプライベート)  VarNode VarNode
           
 
コンストラクタの概要
(パッケージプライベート) Ref_Array(FlowResults pResults)
          Ref_Array:
(パッケージプライベート) Ref_Array(FlowResults pResults, Exp Node, java.util.LinkedList IndList, Invariant pinv, LoopUtil pUtil)
          Ref_Array:
 
メソッドの概要
 Ref_Array copy()
          copy:
(パッケージプライベート)  void DebugArrayRef(LoopUtil pUtil)
          DebugArrayRef:
 boolean EQExpression(Exp node1, Exp node2)
          EQExpression:
(パッケージプライベート)  boolean EQRefArray(Ref_Array b)
          EQRefArray:
(パッケージプライベート)  boolean EQRefArrayDim(Ref_Array b, int dim)
          EQRefArrayDim:
(パッケージプライベート)  IndExp getIndExp(Exp Node, java.util.LinkedList IndList)
          getIndExp:
(パッケージプライベート)  boolean isRegUNKNOWN()
          isRegUNKNOWN:
 void SetdimArea()
          SetdimArea:
 java.lang.String toString()
          toString:
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

フィールドの詳細

REF_ARRAY_INDUCTION

static final int REF_ARRAY_INDUCTION
関連項目:
定数フィールド値

REF_ARRAY_UNKNOWN

static final int REF_ARRAY_UNKNOWN
関連項目:
定数フィールド値

REF_ARRAY_INV_CONST

static final int REF_ARRAY_INV_CONST
関連項目:
定数フィールド値

REF_ARRAY_INVARIANT

static final int REF_ARRAY_INVARIANT
関連項目:
定数フィールド値

REF_ARRAY_REG_INV

static final int REF_ARRAY_REG_INV
関連項目:
定数フィールド値

REF_ARRAY_REG_IND_INV

static final int REF_ARRAY_REG_IND_INV
関連項目:
定数フィールド値

REF_ARRAY_REG_UNKNOWN

static final int REF_ARRAY_REG_UNKNOWN
関連項目:
定数フィールド値

REF_ARRAY_MAX

static final int REF_ARRAY_MAX
関連項目:
定数フィールド値

REF_RESULT

static final int REF_RESULT
関連項目:
定数フィールド値

REF_DDEF

static final int REF_DDEF
関連項目:
定数フィールド値

REF_USE

static final int REF_USE
関連項目:
定数フィールド値

REF_MOD

static final int REF_MOD
関連項目:
定数フィールド値

REF_EUSE

static final int REF_EUSE
関連項目:
定数フィールド値

REF_LIVE

static final int REF_LIVE
関連項目:
定数フィールド値

dimdependence

boolean dimdependence

dimension

int dimension

ID

int[] ID

ConstValue

long[] ConstValue

InductionExp

IndExp[] InductionExp

IndexExp

Exp[] IndexExp

RegIndInit

IndExp[] RegIndInit

RegIndLast

IndExp[] RegIndLast

ArrayNode

Exp ArrayNode

VarNode

VarNode VarNode

fResults

FlowResults fResults

fUtil

LoopUtil fUtil
コンストラクタの詳細

Ref_Array

Ref_Array(FlowResults pResults)
Ref_Array:


Ref_Array

Ref_Array(FlowResults pResults,
          Exp Node,
          java.util.LinkedList IndList,
          Invariant pinv,
          LoopUtil pUtil)
Ref_Array:

メソッドの詳細

copy

public Ref_Array copy()
copy:


SetdimArea

public void SetdimArea()
SetdimArea:


isRegUNKNOWN

boolean isRegUNKNOWN()
isRegUNKNOWN:


getIndExp

IndExp getIndExp(Exp Node,
                 java.util.LinkedList IndList)
getIndExp:


EQRefArray

boolean EQRefArray(Ref_Array b)
EQRefArray:


EQRefArrayDim

boolean EQRefArrayDim(Ref_Array b,
                      int dim)
EQRefArrayDim:


EQExpression

public boolean EQExpression(Exp node1,
                            Exp node2)
EQExpression:


toString

public java.lang.String toString()
toString:

オーバーライド:
クラス java.lang.Object 内の toString

DebugArrayRef

void DebugArrayRef(LoopUtil pUtil)
DebugArrayRef: