Uses of Class
it.univr.di.labeledvalue.Literal
Package
Description
Provides the classes necessary to manage labeled value maps.
-
Uses of Literal in it.univr.di.labeledvalue
Modifier and TypeMethodDescriptionLiteral.getComplement()
Returns the complement of this.Literal[]
Label.getLiterals()
Literal.getNegated()
Returns a literal that is the negated of this.Literal.getStraight()
Returns a literal that is the straight literal of this.Label.getUniqueDifferentLiteral
(Label label) Finds and returns the unique different literal betweenthis
andlab
if it exists.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
Parses the strings
returning the literal represented.static Literal
Literal.valueOf
(char v) Returns the positive literal ofv
.static Literal
Literal.valueOf
(char v, char state) Return the literal having the givenstate
ofv
.static Literal
Returns a new literal having same proposition ofv
but with state given bystate
.Modifier and TypeMethodDescriptionint
Label.conjunction
(Literal literal) Helper method forLabel.conjunction(char, char)
Label.conjunctionExtended
(Literal literal) Helper methodLabel.conjunctionExtended(char, char)
boolean
boolean
Literal.isComplement
(Literal l) boolean
Label.isConsistentWith
(Literal lit) Returns a new label that is a copy ofthis
whereliteral
is removed if it is present.static Literal
Returns a new literal having same proposition ofv
but with state given bystate
.