protobuf-fs2
API
Generated with
protobuf-fs2/org.plasmalabs/org.plasmalabs.quivr.models/Proposition/Threshold

Threshold

org.plasmalabs.quivr.models.Proposition.Threshold
See theThreshold companion object
final case class Threshold(challenges: Seq[Proposition], threshold: Int, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Threshold]

a proposition that can be satisfied if at least the threshold number of propositions are satisfied

Attributes

Companion
object
Graph
Supertypes
trait Updatable[Threshold]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addAllChallenges(`__vs`: Iterable[Proposition]): Threshold
def companion: Threshold.type
def getField(`__field`: FieldDescriptor): PValue
def getFieldByNumber(`__fieldNumber`: Int): Any
override def serializedSize: Int

Attributes

Definition Classes
GeneratedMessage
def toProtoString: String

Returns a human-readable ASCII format representation of this message.

Returns a human-readable ASCII format representation of this message.

The original message can be decoded from this format by using fromAscii on the companion object.

Attributes

Returns

human-readable representation of this message.

def withThreshold(`__v`: Int): Threshold
def withUnknownFields(`__v`: UnknownFieldSet): Threshold
def writeTo(`_output__`: CodedOutputStream): Unit

Serializes the message into the given coded output stream

Serializes the message into the given coded output stream

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def toByteArray: Array[Byte]

Serializes the message and returns a byte array containing its raw bytes

Serializes the message and returns a byte array containing its raw bytes

Attributes

Inherited from:
GeneratedMessage
final def toByteString: ByteString

Serializes the message and returns a ByteString containing its raw bytes

Serializes the message and returns a ByteString containing its raw bytes

Attributes

Inherited from:
GeneratedMessage
final def toPMessage: PMessage

Attributes

Inherited from:
GeneratedMessage
def update(ms: (Lens[Threshold, Threshold]) => () => Threshold*): Threshold

Attributes

Inherited from:
Updatable
final def writeDelimitedTo(output: OutputStream): Unit

Attributes

Inherited from:
GeneratedMessage
final def writeTo(output: OutputStream): Unit

Serializes the message into the given output stream

Serializes the message into the given output stream

Attributes

Inherited from:
GeneratedMessage
Generated with