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.XOrI
arg
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, evalI
pre
compare, getArg, getArg, getArgCount, getArgs, getChildren, getName, getRetType, isConst, toString
public NotB(Term arg)
public boolean evalB(EvalEnv env)
Term
boolean
value.public <T> T accept(TermVisitor<T> visitor)
Term
Copyright © 2014–2015 European Space Agency (ESA). All rights reserved.