neurolang.probabilistic.shattering module

class neurolang.probabilistic.shattering.NormalizeNotEquals(*args, **kwargs)

Bases: LogicExpressionWalker

Attributes:

patterns

Property holding an iterator of triplets (pattern, guard, action).

Methods

match(expression)	Find the action for a given expression by going through the patterns.
pattern_match(pattern, expression)	Return True if pattern matches expression.
type

flip_ne_arguments
pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
walk
walk_constant
walk_function
walk_implication
walk_nary
walk_negation
walk_quantifier
walk_symbol

flip_ne_arguments(expression)

type = typing.Any

class neurolang.probabilistic.shattering.RelationalAlgebraSelectionConjunction(*args, **kwargs)

Bases: ExpressionWalker

Attributes:

patterns

Property holding an iterator of triplets (pattern, guard, action).

Methods

match(expression)	Find the action for a given expression by going through the patterns.
pattern_match(pattern, expression)	Return True if pattern matches expression.
type

pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
process_expression
process_iterable_argument
selection_conjunction
walk

selection_conjunction(expression)

type = typing.Any

class neurolang.probabilistic.shattering.ShatterEqualities(symbol_sets, symbol_table)

Bases: ExpressionWalker

Attributes:

patterns

Property holding an iterator of triplets (pattern, guard, action).

Methods

match(expression)	Find the action for a given expression by going through the patterns.
pattern_match(pattern, expression)	Return True if pattern matches expression.
type

pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
process_expression
process_iterable_argument
shatter_inequalities
shatter_symbol
walk

shatter_inequalities(expression)

shatter_symbol(expression)

type = typing.Any

neurolang.probabilistic.shattering.atom_to_constant_to_RA_conditions(atom: FunctionApplication) → set

neurolang.probabilistic.shattering.conditions_per_symbol(ucq_query)

neurolang.probabilistic.shattering.sets_per_symbol(ucq_query)

neurolang.probabilistic.shattering.shatter_constants(query, symbol_table, shatter_all=False)