Package com.clevercloud.biscuit.datalog

Class World

java.lang.Object

com.clevercloud.biscuit.datalog.World

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AuthorizedWorld

public class World
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
World()
World(World w)
World(Set<Fact> facts)
World(Set<Fact> facts, List<Rule> rules)
World(Set<Fact> facts, List<Rule> rules, List<Check> checks)

Method Summary

Modifier and Type	Method	Description
void	add_fact(Fact fact)
void	add_facts(Set<Fact> facts)
void	add_rule(Rule rule)
void	clearRules()
Set<Fact>	facts()
String	print(SymbolTable symbol_table)
Set<Fact>	query(Predicate pred)
boolean	query_match(Rule rule, SymbolTable symbols)
Set<Fact>	query_rule(Rule rule, SymbolTable symbols)
List<Rule>	rules()
void	run(RunLimits limits, SymbolTable symbols)
void	run(SymbolTable symbols)

Methods inherited from class java.lang.Object

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

Constructor Detail

World

public World()

World

public World(Set<Fact> facts)

World

public World(Set<Fact> facts,
             List<Rule> rules)

World

public World(Set<Fact> facts,
             List<Rule> rules,
             List<Check> checks)

World

public World(World w)

Method Detail

add_fact

public void add_fact(Fact fact)

add_facts

public void add_facts(Set<Fact> facts)

add_rule

public void add_rule(Rule rule)

clearRules

public void clearRules()

run

public void run(SymbolTable symbols)
         throws Error.TooManyFacts,
                Error.TooManyIterations,
                Error.Timeout

Throws:

Error.TooManyFacts

Error.TooManyIterations

Error.Timeout

run

public void run(RunLimits limits,
                SymbolTable symbols)
         throws Error.TooManyFacts,
                Error.TooManyIterations,
                Error.Timeout

Throws:

Error.TooManyFacts

Error.TooManyIterations

Error.Timeout

facts

public final Set<Fact> facts()

rules

public List<Rule> rules()

query

public final Set<Fact> query(Predicate pred)

query_rule

public final Set<Fact> query_rule(Rule rule,
                                  SymbolTable symbols)

query_match

public final boolean query_match(Rule rule,
                                 SymbolTable symbols)

print

public String print(SymbolTable symbol_table)