Generated with

Logic/sbt.internal.util.logic/Logic/InitialContradictions

InitialContradictions

sbt.internal.util.logic.Logic.InitialContradictions

final class InitialContradictions(val literals: Set[Atom]) extends LogicException

Attributes

Graph
Supertypes: class LogicException

class Object

trait Matchable

class Any

Members list

Value members

Concrete fields

Inherited fields

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Inherited from:: LogicException

In this article

Generated with