ClauseActionFactory.ImmutableFact

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

All Implemented Interfaces:

ClauseAction

Enclosing class:

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

Field Summary

Fields
Modifier and Type Field Description

private ClauseModel model

Constructor Summary

Constructors
Modifier Constructor Description

private ImmutableFact(ClauseModel model)

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
```
- Constructor Detail
  - ImmutableFact
```
private ImmutableFact(ClauseModel model)
```
- 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