neurolang.region_solver module

class neurolang.region_solver.RegionSolver(*args, **kwargs)

Bases: PatternWalker

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.

function_regexp
function_region_union
pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
type
walk

function_regexp(regexp: str) → AbstractSet[Region]

function_region_union(region_set: AbstractSet[Region]) → Region

type

alias of Region

type_name = 'Region'