org.linqs.psl.model.rule.arithmetic

Class AbstractArithmeticRule

java.lang.Object

org.linqs.psl.model.rule.AbstractRule

org.linqs.psl.model.rule.arithmetic.AbstractArithmeticRule

All Implemented Interfaces:

Rule

Direct Known Subclasses:

UnweightedArithmeticRule, WeightedArithmeticRule

public abstract class AbstractArithmeticRule
extends AbstractRule

Base class for all (first order, i.e., not ground) arithmetic rules. Full equality checks (when two rules are the equal, but not the same reference) are expensive.

Author:

Stephen Bach

Field Summary

Fields

Modifier and Type	Field and Description
static String	CONFIG_PREFIX Prefix of property keys used by this class.
protected String	delim
static String	DELIM_DEFAULT
static String	DELIM_KEY The delimiter to use when building summation substitutions.
protected ArithmeticRuleExpression	expression
protected Map<SummationVariable,Formula>	filters

Fields inherited from class org.linqs.psl.model.rule.AbstractRule

name

Constructor Summary

Constructors

Constructor and Description
AbstractArithmeticRule(ArithmeticRuleExpression expression, Map<SummationVariable,Formula> filterClauses, String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other)
Set<Predicate>	getBodyPredicates() Get all the predicates used in the body of this rule (no filters).
ArithmeticRuleExpression	getExpression()
int	groundAll(AtomManager atomManager, GroundRuleStore groundRuleStore) Adds all GroundRules to a GroundRuleStore using the AtomManager to instantiate ground atoms.
int	groundNonSummationRule(ResultList groundVariables, AtomManager atomManager, GroundRuleStore groundRuleStore)
int	hashCode()
boolean	hasSummation()
protected abstract AbstractGroundArithmeticRule	makeGroundRule(double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double c)
protected abstract AbstractGroundArithmeticRule	makeGroundRule(List<Double> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, double c)
void	validateGroundRule(AtomManager atomManager) Validate the abstract rule in the context of of grounding.

Methods inherited from class org.linqs.psl.model.rule.AbstractRule

getName

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.linqs.psl.model.rule.Rule

isWeighted

Field Detail

CONFIG_PREFIX

public static final String CONFIG_PREFIX

Prefix of property keys used by this class.

See Also:

Constant Field Values

DELIM_KEY

public static final String DELIM_KEY

The delimiter to use when building summation substitutions. Make sure the value for this key does not appear in ground atoms that use a summation.

See Also:

Constant Field Values

DELIM_DEFAULT

public static final String DELIM_DEFAULT

See Also:

Constant Field Values

expression

protected final ArithmeticRuleExpression expression

filters

protected final Map<SummationVariable,Formula> filters

delim

protected String delim

Constructor Detail

AbstractArithmeticRule

public AbstractArithmeticRule(ArithmeticRuleExpression expression,
                              Map<SummationVariable,Formula> filterClauses,
                              String name)

Method Detail

hasSummation

public boolean hasSummation()

getExpression

public ArithmeticRuleExpression getExpression()

groundAll

public int groundAll(AtomManager atomManager,
                     GroundRuleStore groundRuleStore)

Description copied from interface: Rule

Adds all GroundRules to a GroundRuleStore using the AtomManager to instantiate ground atoms.

Parameters:

atomManager - AtomManager on which to base the grounding

groundRuleStore - store for new GroundRules

Returns:

the number of ground rules generated.

getBodyPredicates

public Set<Predicate> getBodyPredicates()

Get all the predicates used in the body of this rule (no filters).

groundNonSummationRule

public int groundNonSummationRule(ResultList groundVariables,
                                  AtomManager atomManager,
                                  GroundRuleStore groundRuleStore)

validateGroundRule

public void validateGroundRule(AtomManager atomManager)

Validate the abstract rule in the context of of grounding. Ensure that no open predicates are being used in a filter.

makeGroundRule

protected abstract AbstractGroundArithmeticRule makeGroundRule(double[] coeffs,
                                                               GroundAtom[] atoms,
                                                               FunctionComparator comparator,
                                                               double c)

makeGroundRule

protected abstract AbstractGroundArithmeticRule makeGroundRule(List<Double> coeffs,
                                                               List<GroundAtom> atoms,
                                                               FunctionComparator comparator,
                                                               double c)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object