CommandsResponses

Type Members

1. sealed trait AllResponseKind extends CommandResponse with GenResponse with CheckSatResponse with EchoResponse with GetAssertionsResponse with GetAssignmentResponse with GetInfoResponse with GetModelResponse with GetOptionResponse with GetProofResponse with GetUnsatAssumptionsResponse with GetUnsatCoreResponse with GetValueResponse

2. case class AssertionStackLevelsInfoResponse(level: Int) extends InfoResponse with Product with Serializable

3. case class AttributeInfoResponse(attribute: Attribute) extends InfoResponse with Product with Serializable

4. case class AuthorsInfoResponse(authors: String) extends InfoResponse with Product with Serializable

5. sealed trait CheckSatResponse extends CommandResponse

6. case class CheckSatStatus(status: Status) extends CommandResponse with CheckSatResponse with SuccessfulResponse with Product with Serializable

7. sealed abstract class CommandResponse extends Positioned with SExpr

8. abstract class CommandResponseExtension extends CommandResponse

9. sealed trait EchoResponse extends CommandResponse

10. case class EchoResponseSuccess(value: String) extends CommandResponse with EchoResponse with SuccessfulResponse with Product with Serializable

11. case class Error(msg: String) extends CommandResponse with AllResponseKind with FailureResponse with Product with Serializable

12. sealed trait ErrorBehavior extends AnyRef

13. case class ErrorBehaviorInfoResponse(errorBehavior: ErrorBehavior) extends InfoResponse with Product with Serializable

14. sealed trait FailureResponse extends CommandResponse with AllResponseKind

15. sealed trait GenResponse extends CommandResponse

16. sealed trait GetAssertionsResponse extends CommandResponse

17. case class GetAssertionsResponseSuccess(assertions: Seq[Term]) extends CommandResponse with GetAssertionsResponse with SuccessfulResponse with Product with Serializable

18. sealed trait GetAssignmentResponse extends CommandResponse

19. case class GetAssignmentResponseSuccess(valuationPairs: Seq[(SSymbol, Boolean)]) extends CommandResponse with GetAssignmentResponse with SuccessfulResponse with Product with Serializable

20. sealed trait GetInfoResponse extends CommandResponse

21. case class GetInfoResponseSuccess(info: InfoResponse, infos: Seq[InfoResponse]) extends CommandResponse with GetInfoResponse with SuccessfulResponse with Product with Serializable

22. sealed trait GetModelResponse extends CommandResponse

23. case class GetModelResponseSuccess(model: List[SExpr]) extends CommandResponse with GetModelResponse with SuccessfulResponse with Product with Serializable

24. sealed trait GetOptionResponse extends CommandResponse

25. case class GetOptionResponseSuccess(attributeValue: AttributeValue) extends CommandResponse with GetOptionResponse with SuccessfulResponse with Product with Serializable

26. sealed trait GetProofResponse extends CommandResponse

27. case class GetProofResponseSuccess(proof: SExpr) extends CommandResponse with GetProofResponse with SuccessfulResponse with Product with Serializable

28. sealed trait GetUnsatAssumptionsResponse extends CommandResponse

29. case class GetUnsatAssumptionsResponseSuccess(symbols: Seq[SSymbol]) extends CommandResponse with GetUnsatAssumptionsResponse with SuccessfulResponse with Product with Serializable

30. sealed trait GetUnsatCoreResponse extends CommandResponse

31. case class GetUnsatCoreResponseSuccess(symbols: Seq[SSymbol]) extends CommandResponse with GetUnsatCoreResponse with SuccessfulResponse with Product with Serializable

32. sealed trait GetValueResponse extends CommandResponse

33. case class GetValueResponseSuccess(valuationPairs: Seq[(Term, Term)]) extends CommandResponse with GetValueResponse with SuccessfulResponse with Product with Serializable

34. sealed trait InfoResponse extends AnyRef

35. case class NameInfoResponse(name: String) extends InfoResponse with Product with Serializable

36. sealed trait ReasonUnknown extends AnyRef

37. case class ReasonUnknownInfoResponse(reason: ReasonUnknown) extends InfoResponse with Product with Serializable

38. sealed trait Status extends AnyRef

39. sealed trait SuccessfulResponse extends CommandResponse

40. case class VersionInfoResponse(version: String) extends InfoResponse with Product with Serializable