Uses of Class
model.logic.Literal

Packages that use Literal

model.logic

Uses of Literal in model.logic

Methods in model.logic that return types with arguments of type Literal

java.util.List<Literal>

Clause.getLiterals() Returns literals of the clause

Methods in model.logic with parameters of type Literal

void	Clause.addLitteral(Literal l) Adds a new literal to the clause

Method parameters in model.logic with type arguments of type Literal

void	Clause.setLiterals(java.util.List<Literal> literals) Assign a set of literals to the clause

Constructor parameters in model.logic with type arguments of type Literal

Clause(java.util.List<Literal> literals, long id)
Initializes a clause from a list of literals and an id