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. sealed trait EchoResponse extends CommandResponse

   

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

   

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

    

11. sealed trait ErrorBehavior extends AnyRef

    

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

    

13. sealed trait FailureResponse extends CommandResponse with AllResponseKind

    

14. sealed trait GenResponse extends CommandResponse

    

15. sealed trait GetAssertionsResponse extends CommandResponse

    

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

    

17. sealed trait GetAssignmentResponse extends CommandResponse

    

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

    

19. sealed trait GetInfoResponse extends CommandResponse

    

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

    

21. sealed trait GetModelResponse extends CommandResponse

    

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

    

23. sealed trait GetOptionResponse extends CommandResponse

    

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

    

25. sealed trait GetProofResponse extends CommandResponse

    

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

    

27. sealed trait GetUnsatAssumptionsResponse extends CommandResponse

    

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

    

29. sealed trait GetUnsatCoreResponse extends CommandResponse

    

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

    

31. sealed trait GetValueResponse extends CommandResponse

    

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

    

33. sealed trait InfoResponse extends AnyRef

    

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

    

35. sealed trait ReasonUnknown extends AnyRef

    

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

    

37. sealed trait Status extends AnyRef

    

38. sealed trait SuccessfulResponse extends CommandResponse

    

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