ClauseActionFactory.ImmutableConsequentRule

java.lang.Object
- org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

All Implemented Interfaces:

ClauseAction

Enclosing class:

ClauseActionFactory
```
static final class ClauseActionFactory.ImmutableConsequentRule
extends java.lang.Object
implements ClauseAction
```
Clause where the consequent args are all immutable and the antecedent is not true.
e.g. "p(a,b,c) :- test." or "p(a,b,c) :- test(_)."

Field Summary

Fields
Modifier and Type Field Description

private ClauseModel model

private PredicateFactory pf

Constructor Summary

Constructors
Modifier Constructor Description

private ImmutableConsequentRule(ClauseModel model, PredicateFactory pf)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ClauseModel`	`getModel()`
`Predicate`	`getPredicate(Term[] input)`
`boolean`	`isAlwaysCutOnBacktrack()`
`boolean`	`isRetryable()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

model
```
private final ClauseModel model
```

pf
```
private final PredicateFactory pf
```

Constructor Detail

ImmutableConsequentRule

private ImmutableConsequentRule(ClauseModel model,
                                PredicateFactory pf)

Method Detail
- getPredicate
```
public Predicate getPredicate(Term[] input)
```
  Specified by:
  
  getPredicate in interface ClauseAction
- getModel
```
public ClauseModel getModel()
```
  Specified by:
  
  getModel in interface ClauseAction
- isRetryable
```
public boolean isRetryable()
```
  Specified by:
  
  isRetryable in interface ClauseAction
- isAlwaysCutOnBacktrack
```
public boolean isAlwaysCutOnBacktrack()
```
  Specified by:
  
  isAlwaysCutOnBacktrack in interface ClauseAction