|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ElementRule | |
---|---|
cage | Contains the main classes for the Java GUI of CaGe. |
Uses of ElementRule in cage |
---|
Classes in cage that implement ElementRule | |
---|---|
class |
SingleElementRule
An implementation of ElementRule that always returns the same
element. |
class |
ValencyElementRule
An implementation of ElementRule that deduces the element of
atom based on the degree of the corresponding vertex. |
Methods in cage that return ElementRule | |
---|---|
abstract ElementRule |
GeneratorInfo.getElementRule()
Returns the ElementRule to be used for graphs from this
generator. |
ElementRule |
StaticGeneratorInfo.getElementRule()
Returns the element rule to be used with this generator. |
Constructors in cage with parameters of type ElementRule | |
---|---|
StaticGeneratorInfo(java.lang.String[][] generator,
Embedder embedder,
java.lang.String filename,
int maxFacesize,
boolean reembed2DEnabled,
ElementRule elementRule)
|
|
StaticGeneratorInfo(java.lang.String[][] generator,
Embedder embedder,
java.lang.String filename,
int maxFacesize,
boolean reembed2DEnabled,
ElementRule elementRule,
int expertMode)
|
|
StaticGeneratorInfo(java.lang.String[][] generator,
Embedder embedder,
java.lang.String filename,
int maxFacesize,
ElementRule elementRule)
|
|
StaticGeneratorInfo(java.lang.String[][] generator,
Embedder embedder,
java.lang.String filename,
int maxFacesize,
ElementRule elementRule,
int expertMode)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |