ClauseActionFactory.MutableFact

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

All Implemented Interfaces:

ClauseAction

Enclosing class:

ClauseActionFactory
```
static final class ClauseActionFactory.MutableFact
extends java.lang.Object
implements ClauseAction
```
Clause where at least one consequent arg is mutable and the antecedent is true.
e.g. "p(a,_,c)." or "p(X,X)."

Field Summary

Fields
Modifier and Type Field Description

private ClauseModel model

Constructor Summary

Constructors
Modifier Constructor Description

private MutableFact(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
  - MutableFact
```
private MutableFact(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