AeroGuard-MAS/planning/Proposition

Proposition

value class Proposition(val value: String)(source)

STRIPS proposition represented as a validated symbolic atom.

The companion factory methods centralize the proposition names used by planning tests and resolution problems.

Constructors

constructor(value: String)

Types

object Companion

Properties

val value: String

Functions

open override fun toString(): String