public class GroundingTools
extends java.lang.Object
Constructor and Description |
---|
GroundingTools() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.Map<Variable,Constant>> |
getAllSubstitutions(java.util.Set<Variable> variables)
Calculates all possible substitutions in the given set of variables using
all possible constants of the same sort.
|
static java.util.Set<java.util.Map<Variable,Constant>> |
getAllSubstitutions(java.util.Set<Variable> variables,
java.util.Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of
constants
|
static boolean |
isValidGroundingApplication(java.util.Map<Variable,Constant> map,
java.util.Set<GroundingRequirement> requirements)
Checks a grounding application for compliance with the grounding
requirements.
|
public static boolean isValidGroundingApplication(java.util.Map<Variable,Constant> map, java.util.Set<GroundingRequirement> requirements)
map
- public static java.util.Set<java.util.Map<Variable,Constant>> getAllSubstitutions(java.util.Set<Variable> variables, java.util.Set<Constant> constants)
variables
- The set of variables to be substituted.constants
- The set of constants to be used as substitution for
variables.public static java.util.Set<java.util.Map<Variable,Constant>> getAllSubstitutions(java.util.Set<Variable> variables)
variables
- The set of variables to be substituted.