Package org.tweetyproject.action.grounding

Class GroundingTools

java.lang.Object

org.tweetyproject.action.grounding.GroundingTools

public class GroundingTools
extends Object

This class holds common grounding functionality for causal theories using first-order formulas.

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor	Description
GroundingTools()

Method Summary

Modifier and Type	Method	Description
static Set<Map<Variable,Constant>>	getAllSubstitutions(Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static Set<Map<Variable,Constant>>	getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)	Calculates all possible substitutions of variables for a given set of constants
static boolean	isValidGroundingApplication(Map<Variable,Constant> map, Set<GroundingRequirement> requirements)	Checks a grounding application for compliance with the grounding requirements.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

GroundingTools

public GroundingTools()

Method Details

isValidGroundingApplication

public static boolean isValidGroundingApplication(Map<Variable,Constant> map,
 Set<GroundingRequirement> requirements)

Checks a grounding application for compliance with the grounding requirements.

Parameters:

map - a map from variables to constants

requirements - a set of requirements

Returns:

true, if map is a valid application of constants to variables.

getAllSubstitutions

public static Set<Map<Variable,Constant>> getAllSubstitutions(Set<Variable> variables,
 Set<Constant> constants)

Calculates all possible substitutions of variables for a given set of constants

Parameters:

variables - The set of variables to be substituted.

constants - The set of constants to be used as substitution for variables.

Returns:

A set of maps of possible substitutions.

getAllSubstitutions

public static Set<Map<Variable,Constant>> getAllSubstitutions(Set<Variable> variables)

Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.

Parameters:

variables - The set of variables to be substituted.

Returns:

A set of maps of possible substitutions.