Package tools.refinery.language.utils

Class BuiltinSymbols

java.lang.Object

tools.refinery.language.utils.BuiltinSymbols

public final class BuiltinSymbols
extends Object

Constructor Summary

Constructors

Constructor	Description
BuiltinSymbols(Problem problem)

Method Summary

Modifier and Type	Method	Description
ClassDeclaration	contained()
ClassDeclaration	container()
PredicateDefinition	contains()
PredicateDefinition	equals()
PredicateDefinition	exists()
PredicateDefinition	invalidContainer()
ClassDeclaration	node()
Problem	problem()

Methods inherited from class java.lang.Object

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

Constructor Details

BuiltinSymbols

public BuiltinSymbols(Problem problem)

Method Details

problem

public Problem problem()

node

public ClassDeclaration node()

equals

public PredicateDefinition equals()

exists

public PredicateDefinition exists()

container

public ClassDeclaration container()

contained

public ClassDeclaration contained()

contains

public PredicateDefinition contains()

invalidContainer

public PredicateDefinition invalidContainer()