ClauseActionFactory.AlwaysMatchedFact

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

All Implemented Interfaces:

ClauseAction

Enclosing class:

ClauseActionFactory
```
static final class ClauseActionFactory.AlwaysMatchedFact
extends java.lang.Object
implements ClauseAction
```
Clause where all consequent args are distinctly different variables and antecedent is true.
e.g. "p." or "p(X,Y,Z)."

Field Summary

Fields
Modifier and Type Field Description

private ClauseModel model

Constructor Summary

Constructors
Modifier Constructor Description

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