Package com.clevercloud.biscuit.datalog

Class Rule

java.lang.Object

com.clevercloud.biscuit.datalog.Rule

All Implemented Interfaces:

Serializable

public final class Rule
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
Rule(Predicate head, List<Predicate> body, List<Expression> expressions)

Method Summary

Modifier and Type	Method	Description
void	apply(Set<Fact> facts, Set<Fact> new_facts, SymbolTable symbols)
List<Predicate>	body()
static io.vavr.control.Either<Error.FormatError,Rule>	deserializeV2(Schema.RuleV2 rule)
List<Expression>	expressions()
boolean	find_match(Set<Fact> facts, SymbolTable symbols)
Predicate	head()
Schema.RuleV2	serialize()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule(Predicate head,
            List<Predicate> body,
            List<Expression> expressions)

Method Detail

head

public final Predicate head()

body

public final List<Predicate> body()

expressions

public final List<Expression> expressions()

apply

public void apply(Set<Fact> facts,
                  Set<Fact> new_facts,
                  SymbolTable symbols)

find_match

public boolean find_match(Set<Fact> facts,
                          SymbolTable symbols)

serialize

public Schema.RuleV2 serialize()

deserializeV2

public static io.vavr.control.Either<Error.FormatError,Rule> deserializeV2(Schema.RuleV2 rule)