com.ibm.bluej.consistency

Class CRFDescription

java.lang.Object

com.ibm.bluej.consistency.CRFDescription

public class CRFDescription
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.lang.String,StringTerm>	constants
FocusIndicatorState	focusIndicators
java.util.ArrayList<Formula>	formulas
java.util.Map<java.lang.String,java.lang.Class>	funNameToClass
boolean	loadedObjectives
int	maxVarCount
java.util.ArrayList<Formula>	objectives
ProposalSet	proposals

Constructor Summary

Constructors

Constructor and Description
CRFDescription()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

formulas

public java.util.ArrayList<Formula> formulas

proposals

public ProposalSet proposals

objectives

public java.util.ArrayList<Formula> objectives

loadedObjectives

public boolean loadedObjectives

constants

public java.util.Map<java.lang.String,StringTerm> constants

funNameToClass

public java.util.Map<java.lang.String,java.lang.Class> funNameToClass

maxVarCount

public int maxVarCount

focusIndicators

public FocusIndicatorState focusIndicators

Constructor Detail

CRFDescription

public CRFDescription()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object