slang/es.weso.slang/Clingo/StrTerm

StrTerm

final case class StrTerm(str: String) extends SimpleTerm
trait Term
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

override def show: String
Definition Classes

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product