Uses of Class
it.univr.di.labeledvalue.Literal

Packages that use Literal

Package	Description
it.univr.di.labeledvalue	Provides the classes necessary to manage labeled value maps.

Uses of Literal in it.univr.di.labeledvalue

Methods in it.univr.di.labeledvalue that return Literal

Modifier and Type	Method	Description
Literal	Literal.getComplement()	Returns the complement of this.
Literal[]	Label.getLiterals()
Literal	Literal.getNegated()	Returns a literal that is the negation of this.
Literal	Literal.getStraight()	Returns a literal that is the straight literal of this.
Literal	Label.getUniqueDifferentLiteral(Label label)	Finds and returns the unique different literal between this and lab if it exists.
Literal	Literal.getUnknown()	Returns a literal that is the unknown literal of this.
Literal[]	Label.negation()	Since a label is a conjunction of literals, its negation is a disjunction of negative literals (i.e., not a label).
static Literal	Literal.parse(String s)	Parses the string s returning the literal represented.
static Literal	Literal.valueOf(char v)	Returns the positive literal of v.
static Literal	Literal.valueOf(char v, char state)	Return the literal having the given state of v.
static Literal	Literal.valueOf(Literal v, char state)	Returns a new literal having same proposition of v but with state given by state.

Methods in it.univr.di.labeledvalue with parameters of type Literal

Modifier and Type	Method	Description
int	Literal.compareTo(Literal o)
Label	Label.conjunction(Literal literal)	Helper method for Label.conjunction(char, char)
Label	Label.conjunctionExtended(Literal literal)	Helper method Label.conjunctionExtended(char, char)
boolean	Label.contains(Literal l)
boolean	Literal.isComplement(Literal l)
boolean	Label.isConsistentWith(Literal lit)
Label	Label.remove(Literal literal)	Returns a new label that is a copy of this where literal is removed if it is present.
static Literal	Literal.valueOf(Literal v, char state)	Returns a new literal having same proposition of v but with state given by state.