Uses of Class
eu.bandm.tools.dpll.Clause

Packages that use Clause
Package
Description
eu.bandm.tools.dpll
Model and solver for propositional logic in conjunctive normal form.

  • Uses of Clause in eu.bandm.tools.dpll

    Methods in eu.bandm.tools.dpll that return Clause
    Modifier and Type
    Method
    Description
    static <P> Clause<P>
    Clause.empty()
    Returns an empty clause.
    abstract Clause<P>
    Clause.given(Literal<P> literal)
    Returns a simplified clause that is equivalent to this clause assuming the given literal.
    static <P> Clause<P>
    Clause.horn(P consequent, Collection<? extends P> antecedents)
    Returns a Horn clause with the given consequent and antecedents.
    static <P> Clause<P>
    Clause.horn(P consequent, P... antecedents)
    Returns a Horn clause with the given consequent and antecedents.
    static <P> Clause<P>
    Clause.of(Literal<P>... literals)
    Returns a clause containing the given literals.
    static <P> Clause<P>
    Clause.of(List<Literal<P>> literals)
    Returns a clause containing the given literals.
    static <P> Clause<P>
    Clause.top()
    Returns a top clause.
    static <P> Clause<P>
    Clause.unit(Literal<P> literal)
    Returns a unitary clause containing the given literal.
    Methods in eu.bandm.tools.dpll that return types with arguments of type Clause
    Modifier and Type
    Method
    Description
    abstract Iterable<Clause<P>>
    Formula.units()
    Enumerates all unit clauses in this formula.
    Methods in eu.bandm.tools.dpll with parameters of type Clause
    Modifier and Type
    Method
    Description
    static <P> Formula<P>
    Formula.of(Clause<P>... clauses)
    Returns a formula containing the given clauses.
    Formula<P>
    Formula.with(Clause<P> first)
    Returns a formula that prepends a clause to this formula.
    Method parameters in eu.bandm.tools.dpll with type arguments of type Clause
    Modifier and Type
    Method
    Description
    static <P> Formula<P>
    Formula.of(List<? extends Clause<P>> clauses)
    Returns a formula containing the given clauses.