neurolang package

Subpackages

• neurolang.config package
  • NeurolangConfigParser
    • NeurolangConfigParser.disable_expression_type_printing()
    • NeurolangConfigParser.disable_probabilistic_solver_check_unate()
    • NeurolangConfigParser.enable_expression_type_printing()
    • NeurolangConfigParser.enable_probabilistic_solver_check_unate()
    • NeurolangConfigParser.expression_type_printing()
    • NeurolangConfigParser.get_probabilistic_solver_check_unate()
    • NeurolangConfigParser.get_structural_knowledge_namespace()
    • NeurolangConfigParser.set_query_backend()
    • NeurolangConfigParser.set_structural_knowledge_namespace()
    • NeurolangConfigParser.switch_backend()
    • NeurolangConfigParser.switch_expression_type_printing()
  • Subpackages
• neurolang.datalog
• neurolang.frontend package
  • ExplicitVBR
    • ExplicitVBR.aabb_tree
    • ExplicitVBR.bounding_box
    • ExplicitVBR.build_tree()
    • ExplicitVBR.generate_bounding_box()
    • ExplicitVBR.spatial_image()
    • ExplicitVBR.to_ijk()
    • ExplicitVBR.to_xyz()
  • ExplicitVBROverlay
    • ExplicitVBROverlay.spatial_image()
  • NeurolangDL
  • NeurolangPDL
    • NeurolangPDL.add_probabilistic_choice_from_tuples()
    • NeurolangPDL.add_probabilistic_facts_from_tuples()
    • NeurolangPDL.add_uniform_probabilistic_choice_over_set()
    • NeurolangPDL.current_program
    • NeurolangPDL.load_ontology()
    • NeurolangPDL.solve_all()
  • Symbol
    • Symbol.expression
    • Symbol.neurolang_symbol
    • Symbol.symbol
    • Symbol.value
  • Subpackages
    • neurolang.frontend.datalog package
      • Subpackages
      • Submodules
    • neurolang.frontend.drs package
      • Subpackages
      • Submodules
  • Submodules
    • neurolang.frontend.ast module
      • ASTNode
      • ASTWalker
    • neurolang.frontend.ast_lark module
      • LarkASTConverter
    • neurolang.frontend.deterministic_frontend module
      • ExplicitVBR
      • ExplicitVBROverlay
      • NeurolangDL
      • Symbol
    • neurolang.frontend.frontend_extensions module
      • NumpyFunctionsMixin
    • neurolang.frontend.neurolang module
      • ExistentialPredicate
      • NeuroLangException
      • NeuroLangIntermediateRepresentation
      • NeuroLangIntermediateRepresentationCompiler
      • PatternMatcher
      • add_match()
      • parser()
    • neurolang.frontend.neurosynth_utils module
      • StudyID
      • TfIDf
      • fetch_feature_data()
      • fetch_neurosynth_peak_data()
      • fetch_study_metadata()
      • get_ns_mni_peaks_reported()
      • get_ns_term_study_associations()
    • neurolang.frontend.probabilistic_frontend module
      • Probabilistic Frontend
      • NeurolangPDL
      • RegionFrontendCPLogicSolver
    • neurolang.frontend.query_resolution module
      • Query Builder Base, Region and Neurosynth Mixins
      • NeuroSynthMixin
      • QueryBuilderBase
      • QuerySymbolsProxy
      • RegionMixin
    • neurolang.frontend.query_resolution_datalog module
      • Query Builder Datalog
      • QueryBuilderDatalog
    • neurolang.frontend.query_resolution_expressions module
      • Query Resolution Expression
      • All
      • Exists
      • Expression
      • Fact
      • Implication
      • Operation
      • Query
      • RightImplication
      • Symbol
      • TranslateExpressionToFrontEndExpression
      • op_bind()
      • rop_bind()
• neurolang.logic
• neurolang.probabilistic
• neurolang.relational_algebra
• neurolang.type_system package
  • NeuroLangTypeException
  • Unknown
  • get_args()
  • get_generic_type()
  • infer_type()
  • infer_type_builtins()
  • infer_type_iterables()
  • infer_type_mapping()
  • is_consistent()
  • is_leq_informative()
  • is_leq_informative_parameterized_right()
  • is_leq_informative_union()
  • is_parameterized()
  • is_parametrical()
  • is_type()
  • replace_type_variable()
  • replace_type_variable_fix_python36_37()
  • typing_callable_from_annotated_function()
  • unify_types()
  • Subpackages
• neurolang.utils package
  • NamedRelationalAlgebraFrozenSet
    • NamedRelationalAlgebraFrozenSet.aggregate()
    • NamedRelationalAlgebraFrozenSet.arity
    • NamedRelationalAlgebraFrozenSet.columns
    • NamedRelationalAlgebraFrozenSet.create_view_from()
    • NamedRelationalAlgebraFrozenSet.cross_product()
    • NamedRelationalAlgebraFrozenSet.dee()
    • NamedRelationalAlgebraFrozenSet.dum()
    • NamedRelationalAlgebraFrozenSet.equijoin()
    • NamedRelationalAlgebraFrozenSet.explode()
    • NamedRelationalAlgebraFrozenSet.extended_projection()
    • NamedRelationalAlgebraFrozenSet.fetch_one()
    • NamedRelationalAlgebraFrozenSet.groupby()
    • NamedRelationalAlgebraFrozenSet.left_naturaljoin()
    • NamedRelationalAlgebraFrozenSet.naturaljoin()
    • NamedRelationalAlgebraFrozenSet.projection()
    • NamedRelationalAlgebraFrozenSet.projection_to_unnamed()
    • NamedRelationalAlgebraFrozenSet.rename_column()
    • NamedRelationalAlgebraFrozenSet.rename_columns()
    • NamedRelationalAlgebraFrozenSet.replace_null()
    • NamedRelationalAlgebraFrozenSet.to_unnamed()
  • OrderedSet
    • OrderedSet.add()
    • OrderedSet.copy()
    • OrderedSet.discard()
    • OrderedSet.index()
    • OrderedSet.issubset()
    • OrderedSet.issuperset()
    • OrderedSet.replace()
  • RelationalAlgebraFrozenSet
    • RelationalAlgebraFrozenSet.arity
    • RelationalAlgebraFrozenSet.as_numpy_array()
    • RelationalAlgebraFrozenSet.as_pandas_dataframe()
    • RelationalAlgebraFrozenSet.columns
    • RelationalAlgebraFrozenSet.copy()
    • RelationalAlgebraFrozenSet.create_view_from()
    • RelationalAlgebraFrozenSet.cross_product()
    • RelationalAlgebraFrozenSet.dee()
    • RelationalAlgebraFrozenSet.dum()
    • RelationalAlgebraFrozenSet.equijoin()
    • RelationalAlgebraFrozenSet.fetch_one()
    • RelationalAlgebraFrozenSet.groupby()
    • RelationalAlgebraFrozenSet.is_empty()
    • RelationalAlgebraFrozenSet.itervalues()
    • RelationalAlgebraFrozenSet.projection()
    • RelationalAlgebraFrozenSet.selection()
    • RelationalAlgebraFrozenSet.selection_columns()
  • RelationalAlgebraSet
    • RelationalAlgebraSet.add()
    • RelationalAlgebraSet.discard()
  • RelationalAlgebraStringExpression
  • log_performance()
  • powerset()
  • Subpackages
    • neurolang.utils.relational_algebra_set package
      • NamedRelationalAlgebraFrozenSet
      • RelationalAlgebraColumnInt
      • RelationalAlgebraColumnStr
      • RelationalAlgebraFrozenSet
      • RelationalAlgebraSet
      • RelationalAlgebraStringExpression
      • Submodules
    • neurolang.utils.server package
      • Subpackages
      • Submodules
    • neurolang.utils.testing package
      • Subpackages
      • Submodules
  • Submodules
    • neurolang.utils.data_manipulation module
      • parse_region_label_map()
    • neurolang.utils.orderedset module
      • OrderedSet
    • neurolang.utils.various module
      • log_performance()
      • powerset()

Submodules

• neurolang.CD_relations module
  • cardinal_relation()
• neurolang.aabb_tree module
  • AABB
    • AABB.center
    • AABB.contains()
    • AABB.dim
    • AABB.lb
    • AABB.limits
    • AABB.overlaps()
    • AABB.ub
    • AABB.union()
    • AABB.volume
    • AABB.width
  • Node
    • Node.children
    • Node.is_leaf
    • Node.left
    • Node.right
  • Tree
    • Tree.add()
    • Tree.add_in_direction()
    • Tree.add_left()
    • Tree.add_right()
    • Tree.expand_region_box()
    • Tree.query_overlapping_regions()
    • Tree.query_regions_axdir()
    • Tree.query_regions_contained_in_box()
  • aabb_from_vertices()
• neurolang.commands module
  • CommandsMixin
    • CommandsMixin.load_atlas()
    • CommandsMixin.load_csv()
    • CommandsMixin.type
• neurolang.datalog_chase module
  • ChaseNode
    • ChaseNode.children
    • ChaseNode.instance
  • DatalogChase
  • DatalogChaseGeneral
  • DatalogChaseMGUMixin
  • DatalogChaseRelationalAlgebraMixin
• neurolang.exceptions
• neurolang.expression_pattern_matching
• neurolang.expression_walker
• neurolang.expressions
• neurolang.interval_algebra module
  • before()
  • converse()
  • during()
  • equals()
  • finishes()
  • get_intervals_relations()
  • meets()
  • negate()
  • overlaps()
  • starts()
  • v_before()
  • v_during()
  • v_equals()
  • v_finishes()
  • v_meets()
  • v_overlaps()
  • v_starts()
• neurolang.neurolang module
  • ExplicitVBR
    • ExplicitVBR.aabb_tree
    • ExplicitVBR.bounding_box
    • ExplicitVBR.build_tree()
    • ExplicitVBR.generate_bounding_box()
    • ExplicitVBR.spatial_image()
    • ExplicitVBR.to_ijk()
    • ExplicitVBR.to_xyz()
  • ExplicitVBROverlay
    • ExplicitVBROverlay.spatial_image()
  • NeurolangDL
  • NeurolangPDL
    • NeurolangPDL.add_probabilistic_choice_from_tuples()
    • NeurolangPDL.add_probabilistic_facts_from_tuples()
    • NeurolangPDL.add_uniform_probabilistic_choice_over_set()
    • NeurolangPDL.current_program
    • NeurolangPDL.load_ontology()
    • NeurolangPDL.solve_all()
• neurolang.neurolang_compiler module
  • NeuroLangIntermediateRepresentationCompiler
    • NeuroLangIntermediateRepresentationCompiler.compile()
    • NeuroLangIntermediateRepresentationCompiler.pop_scope()
    • NeuroLangIntermediateRepresentationCompiler.push_scope()
    • NeuroLangIntermediateRepresentationCompiler.symbol_table
• neurolang.perior_tree module
  • Boundary
    • Boundary.adjust_direction()
    • Boundary.adjust_position()
  • BoundedAABB
    • BoundedAABB.adjust_to_bound()
    • BoundedAABB.cardinal_tiles()
    • BoundedAABB.center
    • BoundedAABB.contains()
    • BoundedAABB.contains_tuple()
    • BoundedAABB.direction_matrix()
    • BoundedAABB.expand()
    • BoundedAABB.expand_object()
    • BoundedAABB.expand_tuple()
    • BoundedAABB.intersects()
    • BoundedAABB.volume
    • BoundedAABB.width
  • Node
    • Node.is_leaf
  • Tree
    • Tree.add()
    • Tree.expand_region_box()
    • Tree.query_regions_axdir()
    • Tree.query_regions_contained_in_box()
  • methdispatch()
• neurolang.region_solver module
  • RegionSolver
    • RegionSolver.function_regexp()
    • RegionSolver.function_region_union()
    • RegionSolver.type
    • RegionSolver.type_name
• neurolang.regions module
  • ExplicitVBR
    • ExplicitVBR.aabb_tree
    • ExplicitVBR.bounding_box
    • ExplicitVBR.build_tree()
    • ExplicitVBR.generate_bounding_box()
    • ExplicitVBR.spatial_image()
    • ExplicitVBR.to_ijk()
    • ExplicitVBR.to_xyz()
  • ExplicitVBROverlay
    • ExplicitVBROverlay.spatial_image()
  • ImplicitVBR
    • ImplicitVBR.to_ijk()
    • ImplicitVBR.to_xyz()
  • PlanarVolume
    • PlanarVolume.bounding_box
    • PlanarVolume.project_point_to_plane()
    • PlanarVolume.to_ijk()
  • PointSet
    • PointSet.aabb_tree
    • PointSet.bounding_box
    • PointSet.build_tree()
    • PointSet.generate_bounding_box()
    • PointSet.spatial_image()
    • PointSet.to_ijk()
    • PointSet.to_xyz()
  • Region
    • Region.bounding_box
    • Region.center
    • Region.from_spatial_image_label()
    • Region.width
  • SphericalVolume
    • SphericalVolume.bounding_box
    • SphericalVolume.center
    • SphericalVolume.radius
    • SphericalVolume.to_ijk()
  • VolumetricBrainRegion
    • VolumetricBrainRegion.remove_empty_bounding_boxes()
    • VolumetricBrainRegion.to_explicit_vbr()
    • VolumetricBrainRegion.to_ijk()
    • VolumetricBrainRegion.to_ijk_set()
    • VolumetricBrainRegion.to_xyz()
    • VolumetricBrainRegion.to_xyz_set()
  • region_difference()
  • region_intersection()
  • region_set_from_masked_data()
  • region_union()
  • take_principal_regions()
• neurolang.relational_algebra_provenance
• neurolang.solver module
  • BooleanOperationsSolver
    • BooleanOperationsSolver.rewrite_boolean_and()
    • BooleanOperationsSolver.rewrite_boolean_and_l()
    • BooleanOperationsSolver.rewrite_boolean_and_r()
    • BooleanOperationsSolver.rewrite_boolean_inversion()
    • BooleanOperationsSolver.rewrite_boolean_or()
    • BooleanOperationsSolver.rewrite_boolean_or_l()
    • BooleanOperationsSolver.rewrite_boolean_or_r()
    • BooleanOperationsSolver.type
  • BooleanRewriteSolver
    • BooleanRewriteSolver.bring_constants_up_left()
    • BooleanRewriteSolver.cast_binary()
    • BooleanRewriteSolver.cast_unary()
    • BooleanRewriteSolver.conjunction_composition_dual()
    • BooleanRewriteSolver.conjunction_definition_dual()
    • BooleanRewriteSolver.conjunction_distribution()
    • BooleanRewriteSolver.dual_operator()
    • BooleanRewriteSolver.neg_disj_to_conj()
    • BooleanRewriteSolver.partial_binary_evaluation()
    • BooleanRewriteSolver.simplify_double_inversion()
    • BooleanRewriteSolver.type
  • FirstOrderLogicSolver
    • FirstOrderLogicSolver.existential_predicate()
    • FirstOrderLogicSolver.new_set()
    • FirstOrderLogicSolver.quantifier_head_symbols_and_adom()
    • FirstOrderLogicSolver.query_resolution()
    • FirstOrderLogicSolver.type
    • FirstOrderLogicSolver.universal_predicate()
  • GenericSolver
    • GenericSolver.plural_type_name
    • GenericSolver.set_symbol_table()
    • GenericSolver.type
  • NeuroLangPredicateException
  • NumericOperationsSolver
    • NumericOperationsSolver.cast_binary()
    • NumericOperationsSolver.cast_unary()
    • NumericOperationsSolver.type
• neurolang.typed_symbol_table module
  • TypedSymbolTable
    • TypedSymbolTable.create_scope()
    • TypedSymbolTable.set_readonly()
    • TypedSymbolTable.symbols_by_type()
    • TypedSymbolTable.types()