| Interface | Description |
|---|---|
| GroundingRequirement |
This is a common interface for grounding constraints, which have to be met by
a grounder when calculating possible applications of constants to variables.
|
| Class | Description |
|---|---|
| GroundingTools |
This class holds common grounding functionality for causal theories using
first-order formulas.
|
| VarConstNeqRequirement |
This class represents a single grounding requirement stating that a variable
is not allowed to be substituted by a specific constant.
|
| VarsNeqRequirement |
This class represents a single grounding requirement stating that two
variables are not allowed to be substituted by the same constant.
|