Package com.clevercloud.biscuit.datalog

Class RunLimits

java.lang.Object

com.clevercloud.biscuit.datalog.RunLimits

public class RunLimits
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	maxFacts
int	maxIterations
java.time.Duration	maxTime

Constructor Summary

Constructors

Constructor	Description
RunLimits()
RunLimits(int maxFacts, int maxIterations, java.time.Duration maxTime)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

maxFacts

public int maxFacts

maxIterations

public int maxIterations

maxTime

public java.time.Duration maxTime

Constructor Detail

RunLimits

public RunLimits()

RunLimits

public RunLimits(int maxFacts,
                 int maxIterations,
                 java.time.Duration maxTime)