public class EnvironmentFrameWithDerivation extends EnvironmentFrame
Constructor and Description |
---|
EnvironmentFrameWithDerivation(RuleClauseCode clause)
Constructor
|
Modifier and Type | Method and Description |
---|---|
List<Triple> |
getMatchList()
Return a safe copy of the list of matched subgoals in this subderivation.
|
Triple |
getResult()
Return the final instantiated goal given the current binding state.
|
void |
initDerivationRecord(Node[] args)
Create an initial derivation record for this frame, based on the given
argument registers.
|
void |
noteMatch(TriplePattern pattern,
int pc)
Instantiate and record a matched subgoal
|
allocate, getRule, toString
close, fastLinkTo, getLink, linkTo
public EnvironmentFrameWithDerivation(RuleClauseCode clause)
clause
- the compiled code being interpreted by this env framepublic void noteMatch(TriplePattern pattern, int pc)
public Triple getResult()
public List<Triple> getMatchList()
public void initDerivationRecord(Node[] args)
Licenced under the Apache License, Version 2.0