sync toc
CLab
BddCompileMethod Enumeration
Clab Class
Clab Members
Clab Constructor
Clab Constructor (String)
Clab Constructor (Stream)
Properties
Cp Property
Initbddnodes Property
Initdbcache Property
Maxincrease Property
Methods
GetUnsatisfiableRule Method
GetValidDomains Method
GetValidDomainsExtraRule Method
GetValidDomainsExtraRule Method (Expression)
GetValidDomainsExtraRule Method (String, String)
InitializeProblemSolver Method
SetBddCompileMethod Method
SetCSPVariableOrdering Method
StatusUpdateCount Method
VariableCount Method
Events
StatusEvent Event
Clab.StatusEventHandler Delegate
CLabModus Enumeration
Common Class
Common Members
Fields
BDDINITDBCACHE Field
BDDMAXINCREASE Field
INITBDDNODES Field
Common.ExprType Enumeration
CPTypes Enumeration
CspVariableOrdering Enumeration
ValidDomain Class
ValidDomain Members
ValidDomain Constructor
ValidDomain Constructor (String, String, CPTypes, List`1)
ValidDomain Constructor (String, String, CPTypes)
Properties
Domains Property
VarName Property
ValidDomains Class
ValidDomains Members
ValidDomains Constructor
ValidDomains Constructor (List`1)
ValidDomains Constructor ()
Properties
ValidDoms Property
Methods
addValidDomain Method
CLab.BDD
BDDComparer Class
BDDComparer Members
BDDComparer Constructor
BDDLayout Class
BDDLayout Members
BDDLayout Constructor
Properties
BddVarNum Property
LayoutTypes Property
LayoutVariables Property
TypeNameToIndex Property
VariableNameToIndex Property
Methods
BooleanVector Method
ToString Method
BDDSpace Class
BDDSpace Members
BDDSpace Constructor
Properties
LayoutBdd Property
UnsatisfiableRule Property
Methods
Abs Method
Add Method
Bool2Integer Method
Compile Method
CompileRules Method
Div Method
Equal Method
Expr2BddVec Method
Extend Method
Integer2Bool Method
LessThan Method
MkSameSize Method
MkVal Method
MkVar Method
Mod Method
Mul Method
Neg Method
ShiftLeft Method
Truncate Method
BDDType Class
BDDType Members
BDDType Constructor
Properties
BDDvarNum Property
DomainSize Property
Methods
BooleanVarNumber Method
GetDomainValue Method
ToString Method
TypeFormat Method
BDDTypeBool Class
BDDTypeBool Members
BDDTypeBool Constructor
Methods
GetDomainValue Method
ToString Method
TypeFormat Method
BDDTypeEnum Class
BDDTypeEnum Members
BDDTypeEnum Constructor
Properties
IndexToValue Property
ValueToIndex Property
Methods
GetDomainValue Method
ToString Method
TypeFormat Method
BDDTypeRange Class
BDDTypeRange Members
BDDTypeRange Constructor
Properties
StartOfRange Property
Methods
GetDomainValue Method
ToString Method
TypeFormat Method
BDDVariable Class
BDDVariable Members
BDDVariable Constructor
Properties
BddVar Property
TypeIndex Property
Methods
ToString Method
Bval Class
Bval Members
Bval Constructor
Properties
BDDList Property
DefCon Property
ClabBDD Class
ClabBDD Members
ClabBDD Constructor
Properties
Layout Property
Space Property
UnsatisfiableRule Property
Methods
CompileAllExpressions Method
GetValidDomains Method
printout Method
SetCompileMethod Method
UpdateResultBddExpr Method
UpdateResultBDDUserChoice Method
UpdateStatus Method
PQbdd Class
PQbdd Members
PQbdd Constructor
Properties
BDD Property
Size Property
Methods
CompareTo Method
ValidAssignmentData Class
ValidAssignmentData Members
ValidAssignmentData Constructor
Properties
BddVarTocpVar Property
CpVarNum Property
Dom Property
DomStart Property
Methods
ClabEnd Method
CreateValidAssignmentData Method
ToString Method
CLab.CSP
ClabCSP Class
ClabCSP Members
ClabCSP Constructor
Properties
Csp Property
Layout Property
Methods
AddExtraRule Method
GetValidDomains Method
ObserveStatusChanged Method
RunCSPSearch Method
RunCSPSearchUserChoice Method
SetVariableOrdering Method
CSPExpressionBuilder Class
CSPExpressionBuilder Members
CSPExpressionBuilder Constructor
Properties
CSPExpressions Property
Methods
BuildCSPExpr Method
BuildCSPExpr Method (ExpressionBinary)
BuildCSPExpr Method (ExpressionId)
BuildCSPExpr Method (ExpressionInt)
BuildCSPExpr Method (ExpressionNotNeg)
BuildCSPExpression Method
BuildCSPExpressions Method
ConvertOperator Method
CSPLayout Class
CSPLayout Members
CSPLayout Constructor
Properties
CpVarToVarID Property
TypeNameToIndex Property
Types Property
VarIDToCPVar Property
VarIDToTypeName Property
Methods
GetCasperVarDomIndex Method
GetCPVarFromVarID Method
GetDomainIntFromDomainString Method
GetDomainStringFromDomainInt Method
GetTypeFormat Method
GetTypeName Method
GetVarIDFromCPVar Method
MakeCasperVarDoms Method
ToString Method
CSPType Class
CSPType Members
CSPType Constructor
Properties
End Property
TypeName Property
Methods
GetIntRepOfDomainString Method
GetStringRepOfDomainInt Method
ToString Method
TypeFormat Method
CSPTypeBool Class
CSPTypeBool Members
CSPTypeBool Constructor
Methods
GetIntRepOfDomainString Method
GetStringRepOfDomainInt Method
ToString Method
TypeFormat Method
CSPTypeEnum Class
CSPTypeEnum Members
CSPTypeEnum Constructor
Methods
AddConstant Method
GetIntRepOfDomainString Method
GetStringRepOfDomainInt Method
ToString Method
TypeFormat Method
CSPTypeRange Class
CSPTypeRange Members
CSPTypeRange Constructor
Properties
Start Property
Methods
GetIntRepOfDomainString Method
GetStringRepOfDomainInt Method
ToString Method
TypeFormat Method
CLab.Data
CP Class
CP Members
CP Constructor
CP Constructor (String)
CP Constructor (Stream)
Properties
Author Property
Date Property
Description Property
Rules Property
Types Property
Variables Property
Methods
AddRule Method
AddType Method
AddVariable Method
Expression Class
Expression Members
Expression Constructor
Properties
Type Property
Methods
Type2oper Method
ExpressionBinary Class
ExpressionBinary Members
ExpressionBinary Constructor
Methods
ToString Method
ExpressionId Class
ExpressionId Members
ExpressionId Constructor
Properties
Id Property
Methods
ToString Method
ExpressionInt Class
ExpressionInt Members
ExpressionInt Constructor
Properties
IntegerValue Property
Methods
ToString Method
ExpressionNotNeg Class
ExpressionNotNeg Members
ExpressionNotNeg Constructor
Methods
ToString Method
Symbols Class
Symbols Members
Symbols Constructor
Properties
AllVariables Property
BoolVariables Property
EnumerationVariables Property
RangeVariables Property
Methods
CheckExpressionType Method
FillAndCheckType Method
FillAndCheckVar Method
MakeSetOfList Method
Type Class
Type Members
Type Constructor
Properties
TypeName Property
Methods
ToString Method
TypeEnum Class
TypeEnum Members
TypeEnum Constructor
Properties
EnumeratorsList Property
GetDomain Property
Methods
ToString Method
TypeRange Class
TypeRange Members
TypeRange Constructor
Properties
EndOfRange Property
StartOfRange Property
Methods
ToString Method
Variable Class
Variable Members
Variable Constructor
Properties
TypeName Property
VariableName Property
Methods
ToString Method
CLab.Exceptions
ClabException Class
ClabException Members
ClabException Constructor
ClabException Constructor (String, Exception)
ClabException Constructor (String)
Properties
Message Property
TokenParserException Class
TokenParserException Members
TokenParserException Constructor
TokenParserException Constructor (String, Exception)
TokenParserException Constructor (String)
CLab.Parsers
CLabTextParser Class
CLabTextParser Members
CLabTextParser Constructor
Methods
CPtoXML Method
XMLtoCP Method
ClabXmlParser Class
ClabXmlParser Members
ClabXmlParser Constructor
Methods
InitializeParser Method
Parse Method
Parse Method (Stream)
Parse Method (String)
com.calitha.goldparser
RuleException Class
RuleException Members
RuleException Constructor
RuleException Constructor (String)
RuleException Constructor (String, Exception)
RuleException Constructor (SerializationInfo, StreamingContext)
SymbolException Class
SymbolException Members
SymbolException Constructor
SymbolException Constructor (String)
SymbolException Constructor (String, Exception)
SymbolException Constructor (SerializationInfo, StreamingContext)
TokenParser Class
TokenParser Members
TokenParser Constructor
TokenParser Constructor (String, XmlWriter)
TokenParser Constructor (Stream, XmlWriter)
Methods
CreateObjectFromNonterminal Method
Parse Method