ClauseActionFactory.MutableRule

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

All Implemented Interfaces:

ClauseAction

Enclosing class:

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

Field Summary

Fields
Modifier and Type Field Description

private ClauseModel model

private PredicateFactory pf

Constructor Summary

Constructors
Modifier Constructor Description

private MutableRule(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

MutableRule

private MutableRule(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