public static final class Term.NotB extends Term.UnaryB
! b-term
Term.Add, Term.AndB, Term.AndI, Term.Assign, Term.Binary, Term.BinaryB, Term.BinaryI, Term.BinaryN, Term.Call, Term.Cond, Term.Const, Term.ConstB, Term.ConstD, Term.ConstI, Term.ConstS, Term.Div, Term.EqB, Term.EqD, Term.EqI, Term.GeD, Term.GeI, Term.GtD, Term.GtI, Term.LeD, Term.LeI, Term.LtD, Term.LtI, Term.Mod, Term.Mul, Term.Neg, Term.NEqB, Term.NEqD, Term.NEqI, Term.NotB, Term.NotI, Term.Op, Term.OrB, Term.OrI, Term.Ref, Term.Sub, Term.Unary, Term.UnaryB, Term.UnaryI, Term.UnaryN, Term.XOrIarg| Modifier and Type | Method and Description |
|---|---|
<T> T |
accept(TermVisitor<T> visitor)
Visitor support.
|
boolean |
evalB(EvalEnv env)
Evaluates this term to a
boolean value. |
evalD, evalIprecompare, getArg, getArg, getArgCount, getArgs, getChildren, getName, getRetType, isConst, toStringpublic NotB(Term arg)
public boolean evalB(EvalEnv env)
Termboolean value.public <T> T accept(TermVisitor<T> visitor)
TermCopyright © 2014–2017 European Space Agency (ESA). All rights reserved.