Public Member Functions | Package Attributes
dfengine.DiagnosisEnvironments.ComputationStat Class Reference

List of all members.

Public Member Functions

String toString ()

Package Attributes

int numAlphaNodes = 0
int numAlreadyExists = 0
int numBetaNodes = 0
int numConflicting = 0
int numDescInconsistent = 0
int numDFChainTooLong = 0
int numDiscaredOrderPerms = 0
int numImpliedByRC = 0
int numMinimal = 0
int numMinimal_Alpha = 0
int numMinimal_Beta = 0
int numNodes = 0
int numTPCalls = 0
int numTPCalls_Alpha = 0
int numTPCalls_Beta = 0

Detailed Description

Definition at line 52 of file DiagnosisEnvironments.java.


Member Function Documentation

Definition at line 72 of file DiagnosisEnvironments.java.


Member Data Documentation

Definition at line 65 of file DiagnosisEnvironments.java.

Definition at line 60 of file DiagnosisEnvironments.java.

Definition at line 66 of file DiagnosisEnvironments.java.

Definition at line 57 of file DiagnosisEnvironments.java.

Definition at line 59 of file DiagnosisEnvironments.java.

Definition at line 58 of file DiagnosisEnvironments.java.

Definition at line 69 of file DiagnosisEnvironments.java.

Definition at line 67 of file DiagnosisEnvironments.java.

Definition at line 61 of file DiagnosisEnvironments.java.

Definition at line 62 of file DiagnosisEnvironments.java.

Definition at line 63 of file DiagnosisEnvironments.java.

Definition at line 64 of file DiagnosisEnvironments.java.

Definition at line 54 of file DiagnosisEnvironments.java.

Definition at line 55 of file DiagnosisEnvironments.java.

Definition at line 56 of file DiagnosisEnvironments.java.


The documentation for this class was generated from the following file:


tug_ist_diagnosis_engine
Author(s): Safdar Zaman, Gerald Steinbauer
autogenerated on Mon Jan 6 2014 11:51:16