public abstract class Literal extends AbstractTerm implements Term
Constructor and Description |
---|
Literal() |
Modifier and Type | Method and Description |
---|---|
Term |
lightestRewrite()
Applying a rewrite rule to the term should not change the logical expression of the term.
|
int |
weight()
the length attribute of a term shows if rewritten terms
(using rules of replacement as allowed for propositional logic)
are shorter and therefore more efficient.
|
apply
public int weight()
public Term lightestRewrite()
Term
lightestRewrite
in interface Term