Factor

hydra.python.syntax.Factor
enum Factor

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class positive
class negative
class complement
class simple

Members list

Type members

Enum entries

final case class complement(value: Factor) extends Factor
final case class negative(value: Factor) extends Factor
final case class positive(value: Factor) extends Factor
final case class simple(value: Power) extends Factor