- All Implemented Interfaces:
Term
public class NOTTerm
extends Object
implements Term
The
NOTTerm
is used to model Boolean negation by embedding a
Term
that shall be negated in a
NOTTerm
.
-
-
Constructor Summary
Constructors
Constructs a
NOTTerm
with a given term.
-
Method Summary
-
Field Details
-
term
protected final Term term
The term to negate.
-
Constructor Details
-
NOTTerm
public NOTTerm(Term term)
Constructs a
NOTTerm
with a given term.
- Parameters:
term
- the term
-
Method Details
-
get
Returns the term.
- Returns:
- the term
-