sbt.internal.util.logic.Negated
A negated atom, in the sense of negation as failure, not logical negation. That is, it is true if atom is not known/defined.
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Constructs a formula that is true iff this formula and f are both true.
Constructs a formula that is true iff this formula and f are both true.
Attributes
-
Inherited from:
-
Formula
Attributes
-
Inherited from:
-
Product
Attributes
-
Inherited from:
-
Product
Constructs a clause that proves atoms when this formula is true.
Constructs a clause that proves atoms when this formula is true.
Attributes
-
Inherited from:
-
Formula