Class PartialFunctionCallTerm<A extends AbstractValue<A,C>, C>

java.lang.Object

tools.refinery.logic.term.AbstractTerm<A>

tools.refinery.store.reasoning.literal.PartialFunctionCallTerm<A,C>

All Implemented Interfaces:

AnyTerm, Term<A>, PartialTerm<A>

public class PartialFunctionCallTerm<A extends AbstractValue<A,C>, C>
extends AbstractTerm<A>
implements PartialTerm<A>

Constructor Summary

Constructors

Constructor	Description
PartialFunctionCallTerm(ConcretenessSpecification concreteness, PartialFunction<A,C> partialFunction, List<NodeVariable> arguments)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
A	evaluate(Valuation valuation)
List<NodeVariable>	getArguments()
ConcretenessSpecification	getConcreteness()
PartialFunction<A,C>	getPartialFunction()
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
PartialFunctionCallTerm<A,C>	orElseConcreteness(ConcretenessSpecification fallback)
Term<A>	rewriteSubTerms(TermRewriter termRewriter)
Term<A>	substitute(Substitution substitution)
String	toString()

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface AnyTerm

asType, getInputVariables, getPrivateVariables

Methods inherited from interface Term

getType, reduce

Constructor Details

PartialFunctionCallTerm

public PartialFunctionCallTerm(ConcretenessSpecification concreteness,
 PartialFunction<A,C> partialFunction,
 List<NodeVariable> arguments)

Method Details

getConcreteness

public ConcretenessSpecification getConcreteness()

getPartialFunction

public PartialFunction<A,C> getPartialFunction()

getArguments

public List<NodeVariable> getArguments()

evaluate

public A evaluate(Valuation valuation)

Specified by:

evaluate in interface Term<A extends AbstractValue<A,C>>

rewriteSubTerms

public Term<A> rewriteSubTerms(TermRewriter termRewriter)

Specified by:

rewriteSubTerms in interface AnyTerm

Specified by:

rewriteSubTerms in interface Term<A extends AbstractValue<A,C>>

substitute

public Term<A> substitute(Substitution substitution)

Specified by:

substitute in interface AnyTerm

Specified by:

substitute in interface Term<A extends AbstractValue<A,C>>

orElseConcreteness

public PartialFunctionCallTerm<A,C> orElseConcreteness(ConcretenessSpecification fallback)

Specified by:

orElseConcreteness in interface PartialTerm<A extends AbstractValue<A,C>>

getVariables

public Set<Variable> getVariables()

Specified by:

getVariables in interface AnyTerm

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractTerm<A extends AbstractValue<A,C>>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractTerm<A extends AbstractValue<A,C>>

toString

public String toString()

Overrides:

toString in class Object