blog
Class SkolemConstant

java.lang.Object
  blog.Function
      blog.RandomFunction
          blog.SkolemConstant

public class SkolemConstant
extends RandomFunction

Represents a skolem constant -- a constant introduced by symbol evidence statements.

See Also:

SymbolEvidenceStatement

Nested Class Summary

Nested classes/interfaces inherited from class blog.Function

Function.Sig

Constructor Summary

SkolemConstant(java.lang.String name, ImplicitSetSpec setSpec, java.util.List predecessors)
Creates a new SkolemConstant with the given name and return type.

Method Summary

Methods inherited from class blog.RandomFunction

checkTypesAndScope, compile, getArgVars, getDepModel, getTimeVar, getValueInContext, hasDepModel, printDepStatement, rv, rv, rv, rvWithArgs, setArgVars, setDepModel

Methods inherited from class blog.Function

appliesTo, domainIterator, domainIterator, getArgTypes, getCreationIndex, getDefaultValue, getName, getRetType, getSig, getValue, getValue, getValue, getValueSingleArg, isTimeIndexed, overlapsWith, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SkolemConstant

public SkolemConstant(java.lang.String name,
                      ImplicitSetSpec setSpec,
                      java.util.List predecessors)

Creates a new SkolemConstant with the given name and return type. The dependency model is created automatically.

Parameters:

name - String representation of the SkolemConstant

setSpec - specification for set of objects from which this SkolemConstant's value is chosen

predecessors - List of SkolemConstant objects that are listed earlier in the same symbol evidence statement