- checkCR(Node) - Method in class wssl.parser.DOMParser
-
Checks the format of a WSSL causal relationship
- checkCR(Node) - Method in class wssl.parser.DOMParser2
-
Checks the format of a WSSL causal relationship
- checkInp(Node) - Method in class wssl.parser.DOMParser
-
Checks the format of a WSSL input
- checkOutp(Node) - Method in class wssl.parser.DOMParser
-
Checks the format of a WSSL output
- checkPost(Node) - Method in class wssl.parser.DOMParser
-
Checks the format of a WSSL postcondition
- checkPre(Node) - Method in class wssl.parser.DOMParser
-
Checks the format of a WSSL precondition
- CompareCompoundTerms(DOMParser2, CompoundTerm, CompoundTerm) - Static method in class wssl.validator.Validator
-
Compares CompoundTerm
query (sent to Eclipse) with CompoundTerm
result
(returned from ECLiPSe) in order to extract variable instantiations and
prints them to System.out.
- Constraint - Class in wssl
-
Models a simple constraint of the form -attribute- -operand- -value-
- Constraint(String, String, float) - Constructor for class wssl.Constraint
-
Creates a new Constraint object (global case)
- Constraint(String, String, float, String) - Constructor for class wssl.Constraint
-
Creates a new Constraint object (local case)
- countLength(CompoundTerm) - Static method in class wssl.evaluation.ExtendedPR
-
- countLength(CompoundTerm) - Static method in class wssl.evaluation.ExtendedPR2
-
- CreateEvals - Class in wssl.evaluation
-
- CreateEvals() - Constructor for class wssl.evaluation.CreateEvals
-
- CreateEvals - Class in wssl.evaluation.overall
-
- CreateEvals() - Constructor for class wssl.evaluation.overall.CreateEvals
-
- CreateEvals - Class in wssl.evaluation.plannew
-
- CreateEvals() - Constructor for class wssl.evaluation.plannew.CreateEvals
-
- CreateEvals2 - Class in wssl.evaluation
-
- CreateEvals2() - Constructor for class wssl.evaluation.CreateEvals2
-
- CreateEvals2 - Class in wssl.evaluation.overall
-
- CreateEvals2() - Constructor for class wssl.evaluation.overall.CreateEvals2
-
- CreateEvals2 - Class in wssl.evaluation.plannew
-
- CreateEvals2() - Constructor for class wssl.evaluation.plannew.CreateEvals2
-
- CreateEvals3 - Class in wssl.evaluation
-
- CreateEvals3() - Constructor for class wssl.evaluation.CreateEvals3
-
- CreateEvals3 - Class in wssl.evaluation.overall
-
- CreateEvals3() - Constructor for class wssl.evaluation.overall.CreateEvals3
-
- CreateEvals3 - Class in wssl.evaluation.plannew
-
- CreateEvals3() - Constructor for class wssl.evaluation.plannew.CreateEvals3
-
- CreateEvals4 - Class in wssl.evaluation
-
- CreateEvals4() - Constructor for class wssl.evaluation.CreateEvals4
-
- CreateEvals4 - Class in wssl.evaluation.overall
-
- CreateEvals4() - Constructor for class wssl.evaluation.overall.CreateEvals4
-
- CreateEvals4 - Class in wssl.evaluation.plannew
-
- CreateEvals4() - Constructor for class wssl.evaluation.plannew.CreateEvals4
-
- CreateEvals4a - Class in wssl.evaluation
-
- CreateEvals4a() - Constructor for class wssl.evaluation.CreateEvals4a
-
- CreateEvals5 - Class in wssl.evaluation
-
- CreateEvals5() - Constructor for class wssl.evaluation.CreateEvals5
-
- CreateEvals5 - Class in wssl.evaluation.overall
-
- CreateEvals5() - Constructor for class wssl.evaluation.overall.CreateEvals5
-
- CreateEvals5 - Class in wssl.evaluation.plannew
-
- CreateEvals5() - Constructor for class wssl.evaluation.plannew.CreateEvals5
-
- CreateEvals6 - Class in wssl.evaluation.plannew
-
- CreateEvals6() - Constructor for class wssl.evaluation.plannew.CreateEvals6
-
- CreateEvalsa - Class in wssl.evaluation
-
- CreateEvalsa() - Constructor for class wssl.evaluation.CreateEvalsa
-
- CreateEvalsFD - Class in wssl.evaluation
-
- CreateEvalsFD() - Constructor for class wssl.evaluation.CreateEvalsFD
-
- CreateEvalsFD1 - Class in wssl.evaluation.overall
-
- CreateEvalsFD1() - Constructor for class wssl.evaluation.overall.CreateEvalsFD1
-
- CreateEvalsFD2 - Class in wssl.evaluation
-
- CreateEvalsFD2() - Constructor for class wssl.evaluation.CreateEvalsFD2
-
- CreateEvalsFD3 - Class in wssl.evaluation
-
- CreateEvalsFD3() - Constructor for class wssl.evaluation.CreateEvalsFD3
-
- CreateEvalsFDNew - Class in wssl.evaluation.overall
-
- CreateEvalsFDNew() - Constructor for class wssl.evaluation.overall.CreateEvalsFDNew
-
- CreateEvalsH - Class in wssl.evaluation.plannew
-
- CreateEvalsH() - Constructor for class wssl.evaluation.plannew.CreateEvalsH
-
- CreateEvalsH2 - Class in wssl.evaluation.plannew
-
- CreateEvalsH2() - Constructor for class wssl.evaluation.plannew.CreateEvalsH2
-
- CreateEvalsH3 - Class in wssl.evaluation.plannew
-
- CreateEvalsH3() - Constructor for class wssl.evaluation.plannew.CreateEvalsH3
-
- CreateEvalsMM - Class in wssl.evaluation
-
- CreateEvalsMM() - Constructor for class wssl.evaluation.CreateEvalsMM
-