CrossClj

0.1.1 docs

SourceDocs



RECENT
    VARS
    ->AtomicLiteral
    ->ConditionalLiteral
    adorned-literal
    build-atom
    build-literal
    build-partial-tuple
    build-seed-bindings
    conditional-symbol
    delta-literal
    display
    display-literal
    get-adorned-bindings
    get-base-predicate
    get-cs-from-vs
    get-self-bound-cs
    get-vs-from-cs
    join-literal
    join-literal*
    literal-appropriate?
    literal-columns
    literal-magic?
    literal-predicate
    literal-vars
    magic-literal
    map->AtomicLiteral
    map->ConditionalLiteral
    negated-literal
    negated?
    negation-symbol
    negative-vars
    positive-vars
    positive?
    project-literal
    project-onto-literal

    « Index of all namespaces of this project

    (->AtomicLiteral predicate term-bindings literal-type)
    Positional factory function for class datalog.literals.AtomicLiteral.
    
    (->ConditionalLiteral fun symbol terms literal-type)
    Positional factory function for class datalog.literals.ConditionalLiteral.
    
    multimethod
    When passed a set of bound columns, returns the adorned literal
    
    (build-atom f type)
    Returns an unevaluated expression (to be used in a macro) of an
    atom.
    multimethod
    (Returns an unevaluated expression (to be used in macros) of a
    literal.
    Private
    (build-partial-tuple lit binds)
    (build-seed-bindings s)
    Given a seed literal, already adorned and in magic form, convert
    its bound constants to new variables.
    (delta-literal l)
    Given a literal l, return a delta version
    
    Private
    (display l)
    multimethod
    Converts a struct representing a literal to a normal list
    
    (get-adorned-bindings pred)
    Get the bindings from this adorned literal.
    
    (get-base-predicate pred)
    Get the base predicate from this predicate.
    
    multimethod
    From a set of vars, get the columns
    
    multimethod
    Get the columns that are bound withing the literal.
    
    multimethod
    From a set of columns, return the vars
    
    multimethod
    Given a database (db), a literal (lit) and a seq of bindings (bs),
    return a new seq of bindings by joining this literal.
    Private
    (join-literal* db lit bs fun)
    multimethod
    When passed a set of bound vars, determines if this literal can be
    used during this point of a SIP computation.
    multimethod
    Return the column names this applies to
    
    (literal-magic? lit)
    Is this literal magic?
    
    multimethod
    Return the predicate/relation this conditional operates over
    
    multimethod
    Returns the logic vars used by this literal
    
    (magic-literal l)
    Create a magic version of this adorned predicate.
    
    (map->AtomicLiteral m__7585__auto__)
    Factory function for class datalog.literals.AtomicLiteral, taking a map of keywords to field values.
    
    (map->ConditionalLiteral m__7585__auto__)
    Factory function for class datalog.literals.ConditionalLiteral, taking a map of keywords to field values.
    
    (negated-literal l)
    Given a literal l, return a negated version
    
    (negated? l)
    Is this literal a negated literal?
    
    multimethod
    Returns the logic vars used in a negative position
    
    multimethod
    Returns the logic vars used in a positive position
    
    (positive? l)
    Is this a positive literal?
    
    (project-literal db lit bs)(project-literal db lit bs var?)
    Project a stream of bindings onto a literal/relation. Returns a new
    db.
    Private
    (project-onto-literal lit tuple)
    Given a literal, and a materialized tuple, return a set of variable
    bindings.