Package org.evomaster.client.java.controller.neo4j.heuristics

package org.evomaster.client.java.controller.neo4j.heuristics

Classes

Class	Description
CypherConditionRenamer	Deep-clones a CypherCondition (or Operand) while substituting the variable names it refers to, according to a rename map.
Neo4jConditionEvaluator	Evaluates the truthness ρ(condition, m) of a single CypherCondition under a structural mapping m, recursively over the typed boolean tree the parser produces (And/Or/Xor/Not, comparisons, label/type/property leaves).
Neo4jHeuristicsCalculator	Computes the search heuristic H(Q, G) of a parsed Cypher MATCH query Q against a captured graph G, returning a Truthness (how close G is to satisfying Q).
Neo4jMapping	A single structural mapping m = (μ, ε) from a query pattern P_s onto a graph G: it binds each pattern node variable to a graph node (μ) and each pattern edge variable to a graph relationship (ε).
Neo4jPatternExpander	Flattens a MatchPattern into one with no variable-length relationships and no quantified path patterns (QPPs), so the rest of the calculator only ever deals with plain nodes and edges.
Neo4jPatternExpander.ExpandedQuery
Neo4jStructuralMatcher	Enumerates matched_elements(P_s, G): every structurally valid mapping (μ, ε) of a stripped pattern onto a graph.