Interface Schema.RunLimitsOrBuilder

  • All Superinterfaces:
    com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
    All Known Implementing Classes:
    Schema.RunLimits, Schema.RunLimits.Builder
    Enclosing class:
    Schema

    public static interface Schema.RunLimitsOrBuilder
    extends com.google.protobuf.MessageOrBuilder
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      long getMaxFacts()
      required uint64 maxFacts = 1;
      long getMaxIterations()
      required uint64 maxIterations = 2;
      long getMaxTime()
      required uint64 maxTime = 3;
      boolean hasMaxFacts()
      required uint64 maxFacts = 1;
      boolean hasMaxIterations()
      required uint64 maxIterations = 2;
      boolean hasMaxTime()
      required uint64 maxTime = 3;
      • Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

        isInitialized
      • Methods inherited from interface com.google.protobuf.MessageOrBuilder

        findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
    • Method Detail

      • hasMaxFacts

        boolean hasMaxFacts()
        required uint64 maxFacts = 1;
        Returns:
        Whether the maxFacts field is set.
      • getMaxFacts

        long getMaxFacts()
        required uint64 maxFacts = 1;
        Returns:
        The maxFacts.
      • hasMaxIterations

        boolean hasMaxIterations()
        required uint64 maxIterations = 2;
        Returns:
        Whether the maxIterations field is set.
      • getMaxIterations

        long getMaxIterations()
        required uint64 maxIterations = 2;
        Returns:
        The maxIterations.
      • hasMaxTime

        boolean hasMaxTime()
        required uint64 maxTime = 3;
        Returns:
        Whether the maxTime field is set.
      • getMaxTime

        long getMaxTime()
        required uint64 maxTime = 3;
        Returns:
        The maxTime.